7

Насколько я понимаю, следующая программа не должна компилироваться в соответствии со стандартом, однако последние версии gcc, clang и MSVC компилируют её без ошибок. Я что-то неправильно понимаю или это дефекты компиляторов?

12.7 Name resolution [temp.res]

8 … The program is ill-formed, no diagnostic required, if:

(8.3) every valid specialization of a variadic template requires an empty template parameter pack

template<typename... Args>
struct A {
    A(const Args&... args) : x(0, args...) {}

    int x;
};

int main() {
    A<> x;
}
15
  • А в связи с чем конкретно она не должна компилироваться по-вашему? Ну вызвали дефотный конструктор, ну инициализировали x 0. Если напишите A<int> x{0}; - то тогда она не компилируется, все нормально 12 ноя 2018 в 14:04
  • Стандарт стандарту рознь. Последняя версия С++ вроде 17. Поэтому и результат разный. Я встречал ситуации, когда параметры шаблона выводились из параметров вызова функции. Надо смотреть какой стандарт используется по умолчанию.
    – Adokenai
    12 ноя 2018 в 14:05
  • @VTT в связи с тем, что шаблон с переменным числом параметров является валидным только при пустой пачке параметров, или это не так?
    – travor
    12 ноя 2018 в 14:05
  • Для variadic template ноль - вполне валидное кол-во параметров.
    – αλεχολυτ
    12 ноя 2018 в 14:05
  • 1
    @VTT меня смущает, что такой вариант запрещен стандартом, судя по ссылке, что я привёл. Вы переходили по ней? Я правильно понял смысл пункта?
    – travor
    12 ноя 2018 в 14:15

1 ответ 1

5

The program is ill-formed, no diagnostic required

и

gcc, clang и MSVC компилируют её без ошибок

Ошибка - это и есть diagnostic. В этом случае стандарт разрешает ее не печатать.

(Любая ошибка - это diagnostic, но не любой diagnostic - это ошибка. Подробнее ниже.)


Вообще, стандарт не запрещает компиляторам компилировать ill-formed программы.

Единственное требование: Компилятор обязан выдать diagnostic - то есть указать пользователю на ошибку (если нет приписки 'no diagnostic required', конечно) - с помощью ошибки компиляции или предупреждения.

Если компилятор продолжил компиляцию несмотря на ошибку, то полученная программа может вести себя как угодно - стандарт не делает по этому поводу никаких гарантий.

5
  • То есть "выдать diagnostic" = ошибка компиляции, или может быть warning или ещё что-то?
    – travor
    12 ноя 2018 в 14:58
  • @travor Любое сообщение. 12 ноя 2018 в 14:59
  • 2
    Только вот непонятно, с чего это вдруг если шаблон с переменным количеством параметров может иметь валидные специализации только со, скажем, 3 параметрами - это нормально. А когда только с 0 параметров - ill-formed, no diagnostic required. 12 ноя 2018 в 14:59
  • нашёл подобный вопрос на enSO, там уже отказывается компилироваться
    – travor
    12 ноя 2018 в 15:08
  • @VTT, вот DR: 1231, там причина не объясняется, но ясно видно кто зачинщик. Можно его спросить.
    – ixSci
    13 ноя 2018 в 6:02

Ваш ответ

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

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