0

Почему этот код компилируется компилятором x64 msvc v19.24 с опциями /std:c++17 /Wall /W4 без предупреждений? Это баг? Можно ли как-то заставить выдавать хотя бы предупреждение, типа опции -pedantic в gcc?

template <typename T>
struct A {
    int x = 42;
};

template <typename T>
struct B : A<T> {
    int f() { 
        return x;
    }
};

int main() {
    B<int> b;
    b.f();
}
17
  • Компилятор VC++ 2019 (16.6.4), /std:c++17 выдает test.cpp(9): error C3861: x: идентификатор не найден. То же самое - и в VC++ 2017 (15.9.25).
    – Harry
    25 июл 2020 в 10:38
  • @Harry версия 16.6.4 из той же нумерации, что и v19.24 у godbolt-а, или это вообще разные вещи? Тестировал только на сайте, а там 16.6.4 нет
    – dIm0n
    25 июл 2020 в 10:44
  • Не знаю, видимо, это что-то разное... По крайней мере 16.6.4 - вроде бы последняя. И что такое 19.24 - не знаю...
    – Harry
    25 июл 2020 в 11:02
  • @Harry я думаю, что ваша версия - это VS Version, а из godbolt - MSVC compiler version из таблички отсюда devblogs.microsoft.com/cppblog/…
    – dIm0n
    25 июл 2020 в 11:06
  • На версии VS 16.6.5 компилятор 19.26.28806 код компилируется без ошибок. У него нет обязательной компиляции шаблонов, поэтому все ОК.
    – Andrey Sv
    25 июл 2020 в 11:25

1 ответ 1

2

Это нестандартное поведение. В компиляторе msvc долгое время не был реализован двухфазный поиск имен, но потом его добавили, а чтобы не ломать старые приложения старое поведение оставили в permissive режиме. Соответственно аргумент /permissive- среди прочего выключает это старое поведение и заставлять компилятор компилировать в соответствии со стандартом и выдавать на этом примере ошибку.

Microsoft C++ language conformance table

6
  • Насколько я понял по этому посту We’ve enabled the /permissive- conformance mode by default with new projects created in Visual C++ этот флаг должен выставляться по умолчанию, но почему-то в godbolt-е он не выставляется. Стоит ли писать им баг-репорт или тут имеется в виду что-то другое?
    – dIm0n
    25 июл 2020 в 15:28
  • @dIm0n godbolt же не создает проект, а вызывает сам компилятор 25 июл 2020 в 15:51
  • Но там же есть дефолтные флаги, почему они этот флаг не включили
    – dIm0n
    25 июл 2020 в 15:59
  • @dIm0n потому что тогда бы поломалась сборка старых проектов 25 июл 2020 в 16:02
  • 1
    @dIm0n тогда если кому-то захочется собрать в обычном режиме, то будет предупреждения за повторное указание аргумента godbolt.org/z/K39afW 25 июл 2020 в 16:25

Ваш ответ

By clicking “Отправить ответ”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.