GCC, Clang, ICC и MSVC отвергают этот код, но я не нахожу никаких нарушенных правил в последнем рабочем проекте стандарта C ++.
Это правило уже включено в стандарт или в отчете о дефектах?
#include <type_traits>
template< typename t >
struct s {
std::conditional_t< std::is_integral< t >::value, t, void() > mem;
};
s< int > a;
s< void * > b;
void() должен оценить? 18.03.2015 void() - это только тип mem. Вы не можете оценить s<void*>::mem, потому что это имя нереализованной функции. Но это выходит за рамки вопроса. 18.03.2015 Код недействителен из-за 14.3.1 / 3:
Если объявление приобретает тип функции через тип, зависящий от параметра-шаблона, и это приводит к тому, что объявление, которое не использует синтаксическую форму декларатора функции, имеет тип функции, программа имеет неправильный формат.
Тип объявления здесь зависит от параметра шаблона t и, следовательно, не может быть типом функции.
