如何通过禁用专业化本身的类型参数来限制类模板，为什么（n＆＃x27; t）它起作用？

Question

当前是否有可能约束拒绝类型参数的类模板，哪些是类模板本身的专业化，而无需使用static_assert？

由于我不能使用需要表达式来检查它是否是有效的类型名称，因此我必须创建一个类模板实例化验证器，该类别验证器检查类模板是否对模板参数有效：

template <template <typename...> typename Temp, typename... Ts>
    requires requires { typename Temp<Ts...>; }
constexpr bool is_valid() { return true; }

template <template <typename...> typename, typename...>
constexpr bool is_valid() { return false; }

template <template <typename...> typename Temp, typename... Ts>
concept valid_instantiation = is_valid<Temp, Ts...>();

由于失败statatic_assert像这样发出的硬错误：

template <typename>
class Hello;

template <typename>
inline constexpr bool is_hello_v = false;

template <typename T>
inline constexpr bool is_hello_v<Hello<T>> = true;

template <typename T>
class Hello {
  static_assert(!is_hello_v<T>);
};

static_assert(valid_instantiation<Hello, int>);
static_assert(!valid_instantiation<Hello, Hello<int>>);

第二个静态断言肯定不会编译，除非我删除返回true true 不是我的！预期的。

我想拥有的是保持错误并替换static_assert，以便：

static_assert(valid_instantiation<Hello, int>);
static_assert(!valid_instantiation<Hello, Hello<int>>);

可以有效。

对于第一个静态断言，hello＆lt; int实例化就可以接受，而第二个静态断言，hello＆hello＆hello＆lt; hello＆lt; int＆gt; gt;应拒绝，因为应该被拒绝传递的模板参数是类模板本身的实例化，但我不知道我将使用什么约束来实现这些限制。

如果不可能这样做，或者其他情况是可以的。

Answer 1

不确定这是您想要的，但

template <typename T> struct is_Hello;
template <typename T> requires (!is_Hello<T>::value) class Hello;

template <typename T> struct is_Hello : std::false_type{};
template <typename T> struct is_Hello<Hello<T>> : std::true_type{};

template <typename T>
requires (!is_Hello<T>::value) // So Hello<Hello<T>> is not possible
class Hello
{
// ...
};

不确定您要如何进行Sfinae或测试（特质似乎是等效的），因为hello＆hello＆lt; hello＆lt; t＆gt;＆gt; 不存在。

demo