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 X {
struct nested { };
};
< /code>
und ich haben ein Merkmal, z. B. < /p>
template 
struct is_nested {
static constexpr bool value = false;
};

Ich möchte mich teilweise auf den verschachtelten Typ eines beliebigen x spezialisieren. Im Geiste < /p>

Code: Select all

template 
struct is_nested {
static constexpr bool value = true;
};

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