Wie kann ich mich teilweise auf einen in einer Vorlage verschachtelten Typ spezialisieren? ⇐ C++

[Anonymous]

Ich habe eine Vorlagenstruktur mit einer verschachtelten Klasse, z. B. < /p>

Code: Select all

template 
struct example {
struct type { };
};
template 
using example_t = typename example::type;
< /code>
und ich haben ein Merkmal, z. B. < /p>
template 
struct is_example {
static constexpr bool value = false;
};

Ich möchte mich teilweise auf den verschachtelten Typ eines beliebigen Beispiels spezialisieren , so dass

Code: Select all

static_assert(is_example::value == true);
< /code>
Ich kann mich nicht teilweise auf den verschachtelten Typ spezialisieren, wie dies < /p>
// This is broken
template 
struct is_example {
constexpr auto value = true;
};

Compiler beschweren sich (zu Recht): "Die partielle Spezialisierung enthält einen Vorlagenparameter, der nicht abgeleitet werden kann".>