如何检查类型是否从模板 function 中的某个可变参数模板 class 实例化？

Question

假设我有：

template <typename...>
class Foo { };

然后我定义另一个function：

template <typename... T>
void Bar(const T&... arguments) { }

如何检查传递给Bar的所有T是否都是从Foo实例化的？ 喜欢：

Foo<int> a;
Foo<int, int> b;
Bar(a, b); // OK
int c;
Bar(a, b, c); // ill-formed

我想要一种方法来检测格式不正确的 arguments，例如Bar(a, b, c); 有没有办法做到这一点？

Answer 1

您可以创建一个特征来测试Foo的实例化，然后将其折叠到所有参数中。

template <typename>
struct is_foo : std::false_type {};

template <typename... Ts>
struct is_foo<Foo<Ts...>> : std::true_type {};

template <typename T>
constexpr bool is_foo_v = is_foo<T>::value;

template <typename... T>
void Bar(const T&... arguments) {
    static_assert((is_foo_v<T> && ...), "arguments must all be Foos");
}

在大肠杆菌上看到它