Question

从这里得到答案：iterate over tuple关于打印std::tuple组件，以下是代码：

template<std::size_t I = 0, typename... Tp>
 typename std::enable_if<I == sizeof...(Tp), void>::type
print(const std::tuple<Tp...>& t)
{ }

template<std::size_t I = 0, typename... Tp>
 typename std::enable_if<I < sizeof...(Tp), void>::type
    print(const std::tuple<Tp...>& t)
{
    std::cout << std::get<I>(t) << std::endl;
    print <i, Tp...> (t);
}

这在GCC上编译并完美运行，但无法在VC ++上编译（我使用visual studio 2013）。我得到的错误：

Error   4   error C2893: Failed to specialize function template 'std::enable_if<I==1,void>::type print(const std::tuple<_Types1...> &)' 
Error   3   error C2770: invalid explicit template argument(s) for 'std::enable_if<I<1,void>::type print(const std::tuple<_Types1...> &)'

在将std::enable_if与显式模板参数一起使用时，C2770上显然存在文档错误。一些开发人员建议使用const int作为模板的前置参数

const int i = I+1;
print<i,Tp...>(t);

但这也不起作用。还有其他解决方案，例如使用一些宏，但它们也失败了。
有人有工作吗？我搜索了一个解决方案，但发现没有一个确实有用感谢。

Answer 1

您可以使用以下其中一项：

使用递减递归和（部分）专业化：

namespace detail
{
    template <std::size_t N>
    struct printer
    {
        template <typename TUPLE>
        void operator () (const TUPLE& t) const
        {
            printer<N - 1>{}(t);
            std::cout << std::get<N - 1>(t) << std::endl;
        }
    };

    template <>
    struct printer<0>
    {
        template <typename TUPLE>
        void operator () (const TUPLE& t) const {}
    };

}


template <typename ... Ts>
void print(const std::tuple<Ts...>& t)
{
    detail::printer<sizeof...(Ts)>{}(t);
}

或使用index_sequence

#if 1 // Not in C++11
#include <cstdint>

template <std::size_t...> struct index_sequence {};

template <std::size_t N, std::size_t... Is>
struct make_index_sequence : make_index_sequence<N - 1, N - 1, Is...> {};

template <std::size_t... Is>
struct make_index_sequence<0u, Is...> : index_sequence<Is...>{};

#endif

namespace detail
{

    template <std::size_t... Is, typename TUPLE>
    void print(const TUPLE& t, index_sequence<Is...>)
    {
        int dummy[] = {0, ((std::cout << std::get<Is>(t) << std::endl), 0)...};
        (void) dummy; // To remove warning about unused variable.
    }

}

template <typename ... Ts>
void print(const std::tuple<Ts...>& t)
{
    detail::print(t, make_index_sequence<sizeof...(Ts)> {});
}

Answer 2

要保留问题中给出的原始代码的结构，以下解决方法适用于MSVC 2013：

定义以下帮助程序：

// workaround for msvc `sizeof...(Tp)` not working
template<typename... Tp>
struct sizeof_pack___ { static const std::size_t value = sizeof...(Tp); };

然后将sizeof...(Tp)的两次出现替换为sizeof_pack___<Tp...>::value。

最终代码如下所示：

template<std::size_t I = 0, typename... Tp>
 typename std::enable_if<I == sizeof_pack___<Tp...>::value, void>::type
    print(const std::tuple<Tp...>& t)
{ }

template<std::size_t I = 0, typename... Tp>
 typename std::enable_if<I < sizeof_pack___<Tp...>::value, void>::type
    print(const std::tuple<Tp...>& t)
{
    std::cout << std::get<I>(t) << std::endl;
    print <i, Tp...> (t);
}

Visual Studio - 在std :: enable_if上的变通方法错误c2770

2 个答案: