如何专注于可变参数类模板答案

【问题标题】：How to specialize with a variadic class template如何专注于可变参数类模板
【发布时间】：2016-12-16 12:57:41
【问题描述】：

以下示例代码说明了我的问题：

#include <array>
#include <vector>
#include <iostream>
#include <type_traits>

namespace Vector
{
    namespace Intern
    {
        template <typename T1, typename ...T2>
        struct Traits;

        // How can I specialize here so that Memory is being assigned properly??
        template <typename T1, int N>
        struct Traits<T1, int> {
            static constexpr bool Static = 1;
            using Memory = std::array<T1, N>;
        };

        template <typename T1>
        struct Traits<T1> {
            static constexpr bool Static = 0;
            using Memory = std::vector<T1>;
        };
    }

    template <typename T1, typename ...T2>
    class Object
    {
        public :
            void printd()
            {
                std::cout << "Is Static: " << Traits::Static << std::endl;
            }
        private:
            using Traits = Intern::Traits<T1, T2...>;
            using Memory = typename Traits::Memory;

            Memory m_memory;
    };

    template <typename T1, typename ...T2>
    static auto Create(T2&& ...ln) -> decltype(auto)
    {
        return new Object<T1, T2...>();
    }
}

int main()
{
    auto static_vector = Vector::Create<int>(10);
    static_vector->printd();

    auto active_vector = Vector::Create<int>(  );
    active_vector->printd();
}

我想知道如何专门化特征结构，以便将类型 Memory 正确分配为 std::array ，在上面的示例中将 N 设置为 10。

【问题讨论】：

你希望static_vector的类型是什么？
你希望N在这里如何推导出来？为什么需要可变参数模板而不是简单的两个参数？

标签： c++ variadic-templates

【解决方案1】：

您不能直接使用整数，但可以将整数包装成一个类型。这可以使用例如std::integral_constant:

template <typename T1, typename T2, int N>
struct Traits<T1, std::integral_constant<T2, N>> {
    static constexpr bool Static = 1;
    using Memory = std::array<T1, N>;
};

template <typename T1>
struct Traits<T1> {
    static constexpr bool Static = 0;
    using Memory = std::vector<T1>;
};


auto static_vector = Vector::Create<int, std::integral_constant<int, 10>>();

【讨论】：

这接近于我正在寻找的解决方案。但是，有没有像您使用的那样使用 std::integral_constant 的方法，但不改变 Vector::Create 函数的签名？换句话说，是否有可能，比如通过扩展此代码，以保持 Vector::Create(10) 签名的方式？
@vixiv 我不这么认为。我不熟悉constexpr 提供的内容（不使用支持它的编译器），但我猜想一旦你进入函数参数领域，就无法再回到模板参数了。或者也许有一个用户定义的文字，但这无论如何都会改变语法。

【解决方案2】：

保持简单：

#include <array>
#include <vector>
#include <iostream>
#include <type_traits>

namespace Vector
{
    struct VariableSize {};
    template<std::size_t N> struct FixedSize {};

    template<typename T, std::size_t N>
    auto Create(FixedSize<N>)
    {
        return std::array<T, N>();
    }

    template<typename T, std::size_t N>
    auto Create(VariableSize)
    {
        return std::vector<T>();
    }
}

int main()
{
    auto static_vector = Vector::Create<int>(Vector::FixedSize<10>());

    auto active_vector = Vector::Create<int>(Vector::VariableSize());
}

【讨论】：

您的代码确实很简单。然而，事实是我希望在不改变前面的 Vector::Create 签名的情况下在一些后端代码中重新考虑（优化内存分配）。
@vixiv 恐怕这是不可能的。你不能通过改变函数的参数来改变函数返回值的类型。甚至 constexpr 函数也无法做到这一点。