Следният код срива компилатора на Microsoft:
class Var
{
public:
template <typename T>
operator T () const
{ }
};
int main()
{
Var v;
switch (v)
{ }
}
Моят въпрос: Правилен ли е кодът или компилаторът трябва да даде подходяща грешка? Възможно ли е недвусмислено преобразуване в интегрален тип?
Сривът на компилатора винаги е грешка, този код не се компилира нито на gcc, нито на clang, но и двата предоставят грешка без срив. За clang грешката е:
error: statement requires expression of integer type ('Var' invalid)
switch (v)
^ ~
gcc дава следната грешка:
error: ambiguous default type conversion from 'Var'
switch (v)
^
Също така имайте предвид, че изтичането от края на функция за връщане на стойност е недефинирано поведение в C++.
Актуализация
Добавяне:
operator int () const
{ return 0; }
към класа води до различни резултати от clang и gcc.
Вижте Класове с оператори за преобразуване както в шаблон, така и в оператора за преобразуване без шаблон в условието на оператора switch за дискусия дали gcc или clang е правилно. Моята интерпретация на N3323 предполага, че clang е правилен за този.
Подаден доклад за грешка
Аз подаде доклад за грешка за този ICE, досега няма отговор. Въпреки че това изглежда като странен случай, той причинява вътрешна грешка на компилатора, която трябва да бъде коригирана.
fatal error C1001: An internal error has occurred in the compiler.... блабла ... моля, докладвайте на Microsoft (аз докладвах за грешката). На линията на оператора за преобразуване. - person typ1232 schedule 31.07.2014operator Tобаче всъщност не връща нищо, така че това е UB точно там, дори ако е компилиран. - person T.C. schedule 31.07.2014operator T()трябва да върне нещо. Второ,switchчакаint. - person 101010 schedule 31.07.2014class Varв изразаswitchсамо ако може да се преобразува в интегрална стойност. - person Thomas Matthews schedule 31.07.2014switchиска интегрален тип, тип изброяване или тип клас, за който съществува единична неизрична функция за преобразуване в интегрален тип или тип изброяване (6.4.2/2). Ако искаше конкретноint, можеше да получи такъв сv.operator int(). Ноvможе да се конвертира във всичко, така че твърдението е двусмислено. - person Igor Tandetnik schedule 31.07.2014intе по-кратко :). Извинете за неволното подвеждане. - person 101010 schedule 31.07.2014switch(v)с червено извиване и изскачащият прозорец Error: изразът трябва да има интегрален или enum тип. - person Rob K schedule 31.07.2014