Учитывая код
int main()
{
constexpr int n;
return 0;
}
, g++ с -fpermissive выдает только предупреждение, а clang++ также с -fpermissive выдает ошибки, жалуясь на инициализацию по умолчанию объекта типа const 'const int'. Теперь я считаю, что поведение clang++ правильное. Вопрос в том, упускаю ли я что-то или нет, и, возможно, g++ не выдает ошибку. Версии: clang++ 7.0.1, g++ 8.3.1, Fedora 29, amd64.
-fpermissive обычно превращает ошибки в предупреждения. Это кажется контрпродуктивным для вопроса. 07.05.2019 clang++ выдает ошибку даже с -fpermissive, я думаю, что один компилятор более мягок, чем другой, в этом отношении. И если я правильно читаю стандарт, это должно быть ошибкой. 07.05.2019 -fpermissive вы явно сообщаете компилятору, что хотите играть быстро и свободно с правилами стандарта. Вы не можете ожидать, что компилятор будет следовать правилам, если вы прямо скажете ему: «Эй, просто доверься мне; не следовать правилам 07.05.2019 Стандарт в первую очередь касается диагностики, а не ошибок или предупреждений. Таким образом, все, что требуется от соответствующего компилятора, — это диагностика, которую выполняют оба этих компилятора.
Что касается того, почему -fpermissive в этом случае выдает только предупреждение в GCC, а ошибка в Clang зависит от подхода, который эти компиляторы использовали в отношении параметра -fpermissive.
Согласно GCC:
-fpermissiveПонизьте некоторые средства диагностики несовместимого кода с ошибок до предупреждений. Таким образом, использование
-fpermissiveпозволяет компилировать некоторый несоответствующий код.
Сначала у Clang не было опции -fpermissive. Он был добавлен позже. Судя по имеющейся у нас в Интернете информации, подход Clang к этому варианту следующий:
-fpermissiveНе ошибитесь в языковых расширениях. Диагностика недопустимого кода с использованием известных языковых расширений в текущем языковом режиме понижена до максимум предупреждения.
Таким образом, в Clang статус предупреждения понижается только для языковых расширений. Если это не расширение языка (как в данном примере), оно не будет понижено до предупреждения и будет диагностировано как ошибка.
