Разве GCC неправильно не диагностируют конверсии сужения в аргументах шаблонов, не являющихся шаблонами, не связанными с ⇐ C++

[Anonymous]

Следующая программа компилируется без ошибок или предупреждения с GCC 4.8.1,

Код: Выделить всё

-Wall -std=c++11< /code>: < /p>

template
struct A{};

int main(){
A a;
(void)a;
return 0;
}

clang 3.3 with the same options gives this error:


error: non-type template argument evaluates to -1, which cannot be narrowed to type 'unsigned int' [-Wc++11-narrowing]


As В соответствии с этим вопросом, он выглядит
, как нынешняя политика GCC, просто чтобы дать предупреждения о сужении конверсий, где
стандарт указывает на ошибки, и где Clang дает указанные ошибки.
Но в этом случае GCC даже не дает предупреждения. говорит: < /p>


Для параметра матрицы нетипа интегрального типа или перечисления применяются конверсии, разрешенные в Con-
Verted Constant Expression (5.19). />

Конвертированная постоянная экспрессия типа T является буквальной постоянной выражением, неявно преобразуемой в тип T,
, где неявное преобразование (если таковое имеется) разрешено в буквальном постоянном выражении, а последовательность неявных преобразования
содержит только предполагаемые преобразования, 4.1), интегрированные преобразования, 4.11). (4.5),
и интегральные преобразования (4.7) , кроме сужания преобразования < /em> (8.5.4) < /p>
< /blockquote>

(мой акцент). этот случай. Я читаю это правильно? Существует ли
стандартный контраргумент? В рекурсивном настройке TMP
диагностика ошибок Clang в этом случае определяет ошибку
, в которой незнанный аргумент шаблона, не связанного с типом.>

Подробнее здесь: https://stackoverflow.com/questions/175 ... -arguments