Будет ли ключевое слово Decltype отключить Sfinae? ⇐ C++

[Anonymous]

Я пытаюсь написать черту типа для std :: variant .
Основной шаблон:

Код: Выделить всё

#include 
#include 

template 
struct is_variant : std::false_type {};

Когда специализация реализована, как показано ниже, Sfinae, по-видимому, отключена, поскольку int не затруднен в первичный шаблон и вызывает ошибку компиляции, когда static_assert не удается:

template
struct is_variant<
V, std::void_t>
: std::true_type {};

static_assert(not is_variant::value); // fails
< /code>
Тем не менее, он работает, когда я изменяю специализацию, как ниже: < /p>

Код: Выделить всё

template 
struct is_variant<
V, std::void_t>
: std::true_type {};

static_assert(not is_variant::value);  // passes
< /code>
Мне интересно, почему. Может ли Decltype 

отключить sfinae?


Подробнее здесь: https://stackoverflow.com/questions/795 ... ble-sfinae