<variadic template =“”>在Visual Studio中使用默认值编译错误的模板参数

时间:2017-12-30 22:26:20

标签: c++ visual-studio templates variadic-templates template-templates

将代码从GCC移植到MSVC时面临这个模糊的问题。

请考虑以下代码段:

template <typename T>
struct Foo;

template <template <typename...> typename Container, typename Arg>
struct Foo<Container<Arg>> {
    using arg_t = Arg;
};

template <typename X>
struct A {};

template <typename X, typename Y = void>
struct B {};

template <typename X, typename Y = void, typename Z = void>
struct C {};

int main() {
    typename Foo<A<int>>::arg_t a;
    typename Foo<B<int>>::arg_t b;
    typename Foo<C<int>>::arg_t c;
    return 0;
}

我们使用Foo trait来提取模板类的第一个参数,其中从第二个模板参数开始具有默认值(例如,实际用例是std::unique_ptr)。 Clang和GCC完美地处理了这个片段,但是MSVC(Visual Studio 17附带的那个)引发了非常明显的编译错误。

1 个答案:

答案 0 :(得分:2)

原来,GCC和Clang以某种方式处理默认模板参数,以便A<X, Y=void>接口接受<template <typename...> typename Bar, typename X> Bar<X>。另一方面,MSVC没有。不确定它是标准还是GCC / Clang扩展。 无论如何,解决方案是添加虚拟变量参数以匹配剩余参数

template <typename T>
struct Foo;

template <template <typename...> typename Container, 
          typename Arg, typename... MsvcWorkaround>
struct Foo<Container<Arg, MsvcWorkaround....>> {
    using arg_t = Arg;
};

template <typename X>
struct A {};

template <typename X, typename Y = void>
struct B {};

template <typename X, typename Y = void, typename Z = void>
struct C {};

int main() {
    typename Foo<A<int>>::arg_t a;
    typename Foo<B<int>>::arg_t b;
    typename Foo<C<int>>::arg_t c;
    return 0;
}

从编译器错误中理解问题真的很难,我无法找出解决方案,这就是我想分享我的原因。