c – 可变模板的部分专业化需要第一个非可变模板参数

前端之家收集整理的这篇文章主要介绍了c – 可变模板的部分专业化需要第一个非可变模板参数前端之家小编觉得挺不错的,现在分享给大家,也给大家做个参考。
以下代码
#include <iostream>
#include <utility>

template<typename F,typename... T>
struct Wrapper{ };

template<typename T>
struct is_wrapper : std::false_type {};

template<typename... T>
struct is_wrapper<Wrapper<T...>> : std::true_type {};

//template<typename F,typename... T>
//struct is_wrapper<Wrapper<F,T...>> : std::true_type {};

int main()
{
    Wrapper<int,double> w;

    std::cout << is_wrapper<decltype(w)>::value << std::endl;
}

打印0.但是,如果一个取消了中间的两行打印1.

为什么不总是打印1?第二部分专业化是否也不应该涵盖这一情况,这显然仅仅是由第三(评论)部分专业化所涵盖?

解决方法

代码应该确实符合部分专业化;标准从来没有实际上不允许这样做,但编译器确实需要一段时间才能实现可变模板及其正确的扣除. GCC符合4.9.0,Clang为3.6. Clang的相关错误报告是 #22191(虽然我找不到GCC的).

猜你在找的C&C++相关文章