如何在Visual Studio 2017中支持变量模板类型

Question

T.C.在这里给出了一个巧妙的解决方案，它使用了这个对象：

template<class... Ts> struct overload : Ts... { using Ts::operator()...; };
template<class... Ts> overload(Ts...) -> overload<Ts...>;
struct fallback_t { template<class T> fallback_t(T&&) {} };

不幸的是，我无法在Visual Studio 2017中编译它。我得到的错误：

1个

我能做些什么使VisualStudio尊重中的可变模板吗？

Answer 1

正如@S.M.所指出的，您可以尝试使用/std:：c17在c17模式下编译；请注意，一些C17特性可能会破坏现有代码。此外，正如@milesbudnek所指出的，截至今天，MSVC不支持所需的功能。

如果你不能使用C17模式，你可以在C14中实现这一点。

我要做一些改变：

template <class... Fs>
struct overload_t;

// zero
template<>
struct overload_t<> {};

// >1
template <class F0, class... Frest>
struct overload_t<F0, Frest...> :
  F0,
  overload_t<Frest...>
{
    overload_t(F0 f0, Frest... rest) :
      F0(std::move(f0)), overload_t<Frest...>(std::move(rest)...)
   {}

    using F0::operator();
    using overload_t<Frest...>::operator();
};

// 1
template <class F0>
struct overload_t<F0> : F0
{
    overload_t(F0 f0) : F0(std::move(f0)) {}

    using F0::operator();
};

template <class... Fs>
auto overload(Fs... fs)
{
  return overload_t<Fs...>(std::move(fs)...);
}

Answer 2

这取决于三个独立的C 17功能：

• 变量使用声明（支持包扩展）

第一个C 17之前版本的常见解决方法是递归继承（为了简单起见，省略了转发）：

template<class T, class... Ts> 
struct overload : T, overload<Ts...> {
    using T::operator();
    using overload<Ts...>::operator();
    overload(T t, Ts... ts) : T(t), overload<Ts...>(ts...) {}
};

template<class T> 
struct overload<T> : T {
    using T::operator();
    overload(T t) : T(t) {}
};

template<class...Ts> 
overload<Ts...> make_overload(Ts... ts) {
    return overload<Ts...>(ts...); 
}

如果编译器不支持基类的聚合，则需要构造函数；如果编译器不支持类模板的模板参数推断，则需要使用make_重载。

Answer 3

它只在C17中有效。尝试编译它在Visual Studio 2017与标志/std： c 17下的项目-