Question

我想检查一个模板是否可以使用给定的参数集进行专门化。以下是仅接受1个参数的模板版本：

#include <iostream>

template<template<typename...> class C, typename T>
struct is_valid_specialization {
    typedef struct { char _; } yes;
    typedef struct { yes _[2]; } no;

    template<template<typename...> class D, typename U>
    static yes test(D<U>*);
    template<template<typename...> class D, typename U>
    static no test(...);

    constexpr static bool value = (sizeof(test<C, T>(0)) == sizeof(yes));
};

template<typename T>
struct Test1 { };

template<typename T1, typename T2>
struct Test2 { };

template<typename...>
struct TestV { };

int main() {
    std::cout << "Test1<T>: " << is_valid_specialization<Test1, int>::value << std::endl;
    std::cout << "Test2<T>: " << is_valid_specialization<Test2, int>::value << std::endl;
    std::cout << "TestV<T>: " << is_valid_specialization<TestV, int>::value << std::endl;
}

这个does the job模板仅接受一个参数，但显然我希望能够将它与多个参数一起使用，所以我尝试了这个：

template<template<typename...> class C, typename... T>
struct is_valid_specialization {
    typedef struct { char _; } yes;
    typedef struct { yes _[2]; } no;

    template<template<typename...> class D, typename... U>
    static yes test(D<U...>*);
    template<template<typename...> class D, typename... U>
    static no test(...);

    constexpr static bool value = (sizeof(test<C, T...>(0)) == sizeof(yes));
};

现在这就是事情变得奇怪的地方，因为现在value is always false。

有什么我想念的吗？这两个版本之间有什么完全不同？还有另一种方法可以达到这个目的吗？

修改
我已经为Clang和GCC

提交了错误报告

Answer 1

以下更容易且有效：

template<template<typename...> class C, typename... T>
struct is_valid_specialization {
    typedef struct { char _; } yes;
    typedef struct { yes _[2]; } no;

    template<template<typename...> class D>
    static yes test(D<T...>*);
    template<template<typename...> class D>
    static no test(...);

    constexpr static bool value = (sizeof(test<C>(0)) == sizeof(yes));
};

Live example

Answer 2

即使您明确指定了第一个T ...参数，功能测试（U ...）接受的模板参数数量仍然未知。可以从函数参数推导出额外的U ...模板参数。由于函数参数（0）无助于猜测U ...的大小，因此第一个模板函数未实例化。重要的是要注意模板参数D也可以采用任意数量的参数。编译器不应该做任何假设。

GCC和Clang是对的。

检查是否有效的模板专业化

2 个答案: