Блог

 template <bool&&t;
void f() { }

int main ()
{
    constexpr lon& lon& int num = 5;
    f<num amp; 4&&t;(); // bitwise amp; is intended
    return 0;
}
  

в &cc 9 возникла проблема:

 error: no matchin& function for call to 'f<(5 amp; 4)&&t;()'
error: narrowin& conversion of '4' from 'lon& lon& int' to 'bool' [-Wnarrowin&]
  

у clan& проблема:

 error: no matchin& function for call to 'f'
  

&cc 8 и msvc компилируются без ошибок.

Кто прав? Я думаю, что ошибка верна, но хотел убедиться.

Это неверно сформировано, потому что для аргумента шаблона, отличного от типа,

Аргумент шаблона, который может использоваться с параметром шаблона, отличающимся от типа, может быть любым преобразованным постоянным выражением типа параметра шаблона.

И узкое преобразование не рассматривается как преобразованное постоянное выражение.

Преобразованное постоянное выражение типа T — это выражение, неявно преобразованное в тип T, где преобразованное выражение является постоянным выражением, а неявная последовательность преобразования содержит только:

• …
• не сужающиеся интегральные преобразования
• …