阻止模板化类将其自身用作实例

另一种选择:

#include <type_traits>

template <typename T>
struct ValidFooArg;

template <typename T>
requires ValidFooArg<T>::value
class Foo
{

};

template <typename T>
struct ValidFooArg : std::true_type {};
template <typename T>
struct ValidFooArg<Foo<T>> : std::false_type {};

int main()
{
    Foo<int> x; // ok
    Foo<Foo<int>> y; // error
}

在这种情况下,您可能仍然提供部分专业化以产生错误:

template <typename T>
constexpr bool always_false = false;

template<class T>
class Foo<Foo<T>>
{
    static_assert(always_false<T>);
};