Как частично специализироваться для типа, вложенного в шаблон? ⇐ C++

[Anonymous]

У меня есть структура шаблона с вложенным классом, например, < /p>

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

template 
struct example {
struct type { };
};
template 
using example_t = typename example::type;
< /code>
И у меня есть черта, например, < /p>
template 
struct is_example {
static constexpr bool value = false;
};

Я хотел бы частично специализироваться на вложенном типе любого примера такого, что

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

static_assert(is_example::value == true);
< /code>
Я не могу частично специализироваться на вложенном типе, как < /p>
// This is broken
template 
struct is_example {
constexpr auto value = true;
};

Компиляторы жалуются (справедливо): «Частичная специализация содержит параметр шаблона, который не может быть выведен». ниже?

Подробнее здесь: https://stackoverflow.com/questions/797 ... a-template