Programmiererforum

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;
};

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;
};

Ich habe eine Vorlagenstruktur mit einer verschachtelten Klasse, z. B. < /p>
[code]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;
};
[/code]
Ich möchte mich teilweise auf den verschachtelten Typ eines beliebigen Beispiels spezialisieren , so dass
[code]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;
};
[/code]
Compiler beschweren sich (zu Recht): "Die partielle Spezialisierung enthält einen Vorlagenparameter, der nicht abgeleitet werden kann".>