C++ VARIADIC специализация шаблона (и static_assert)

Question

Можно специализироваться этот шаблон заявление:

template <class TYPE, class... ARGS> TYPE Foo(ARGS... args) { 
    static_assert(false); 
} 

Я попробовал несколько вещей, таких как:

template <> int Foo<int>(float args) { 
    return 42; 
} 

... но я всегда хит статические утверждают, когда я пытаюсь использовать его как таковое:

auto value = Foo<int>(1.5f); 

Что такое правильный синтаксис?

Answer 1

Как состояние, false не является шаблоном зависимого, поэтому static_assert должны стрелять.

Вы можете использовать = delete в вашем случае:

template <class TYPE, class... ARGS> TYPE Foo(ARGS... args) = delete; 

template <> int Foo(float) {return 42;} 

Demo

Answer 2

Вам не разрешено писать шаблон, который действителен только при условии, что он не создан. Это идет вразрез со следующим правилом в стандарте:

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

С другой стороны, было бы хорошо, если у вас что-то в организме, такие как

static_assert(sizeof(TYPE) != sizeof(int)); 

В таком случае шаблон является действительным, и ваш код будет компилироваться, так как явной специализации фактически будет использоваться вместо первичного шаблона. См. http://coliru.stacked-crooked.com/a/238b979fd10c62c0

Answer 3

Ваше статическое утверждение не зависит от шаблона, поэтому оно всегда срабатывает. Используйте что-то вроде

template <class TYPE, class... ARGS> TYPE Foo(ARGS... args) { 
    static_assert(sizeof(TYPE) != sizeof(TYPE)); 
}