Я не понимаю, почему этот код компилируется без ошибок:
#include <iostream>
template <class T>
struct Test
{
static constexpr T f() {return T();}
};
int main()
{
Test<void> test;
test.f(); // Why not an error?
return 0;
}
Это нормально по стандарту или это допустимость компилятора?
void foo() {} void bar() {return foo();}. Я не уверен в этом. 09.12.2013 void (которое, кстати, всегда было законным в C++)? Или про constexpr void комбинацию? 09.12.2013 Это похоже на проект C++11. стандартный, если мы посмотрим на раздел 5.2.3 Явное преобразование типов (функциональная нотация), параграф 2 говорит (выделено мной):
Выражение T(), где T – это спецификатор простого типа или спецификатор имени типа для полного типа объекта, не являющегося массивом, или типа void (возможно, с указанием cv), создает значение prvalue указанного типа, значение которого является результатом инициализации значения (8.5) объекта типа T; для случая void() инициализация не выполняется.[...]
формулировка очень похожа на pre C++11 также.
Это допустимо в constexpr, несмотря на то, что раздел 7.1.5 параграф 3 говорит:
Определение функции constexpr должно удовлетворять следующим ограничениям:
и включает в себя этот пункт:
его возвращаемый тип должен быть буквальным типом;
и void не является литералом в C++11 согласно разделу 3.9 параграфу 10, но если мы затем посмотрим на параграф 6, он выдаст исключение, которое подходит для этого случая, в нем говорится:
Если специализация экземпляра шаблона функции constexpr или функции-члена шаблона класса не удовлетворяет требованиям для функции constexpr или конструктора constexpr, эта специализация не является функцией constexpr или конструктором constexpr. [Примечание. Если функция является функцией-членом, она все равно будет константной, как описано ниже. —конец примечания] Если никакая специализация шаблона не дает функции constexpr или конструктора constexpr, программа плохо сформирована; диагностика не требуется.
Как Кейси отметил в черновик стандарта C++14 void — это литерал, это раздел 3.9 Типы параграф 10 гласит:
Тип является буквальным типом, если он:
и включает:
- пустота; или
Полную информацию см. в ответе @Shafik Yaghmour.
Следующий абзац запрещает это для не-шаблонов (7.1.5(3)):
Определение функции
constexprдолжно удовлетворять следующим ограничениям:
[...]
его возвращаемый тип должен быть буквальным типом или ссылкой на литеральный тип
Чтобы уточнить, литеральный тип определяется в 3.9(10) как скалярный тип или композиция объектов литерального типа в массиве или структуре. void не является скалярным типом согласно 3.9(9).
void не является буквальным типом в C++11. Однако в C++14 (N3797) void включено в литеральные типы. Таким образом, код ОП будет соответствовать С++ 14. 09.12.2013 constexpr, но const в C++11 или функциях-членах constexpr и не const в C++14! 09.12.2013 static, но OP имеет член static, поэтому в любом случае он не будет const. Пожалуйста, обратите внимание, идиот! 09.12.2013 Ваша функция возвращает значение void(), вы не возвращаетесь из функции void как таковой. Вы возвращаете значение NULL. То, что вы делаете, эквивалентно этому:
void f() { return void(); }
Это возвращает недействительное значение, единственное недействительное значение. вы не можете ничего вернуть из функции void, потому что она будет другого типа.
