如何将 T 类型的可变参数模板重写为特定（非原始）类型

Question

我有这段代码，它用每列的字符串数据填充我的行结构。

    struct row_t
    {
        row_t()
        {};
        template<typename ...T>
        row_t(const T& ...var)
        {
            append(var...);
        }
        template<typename T, typename ...Types>
        void append(const T &var1, const Types& ...var2)
        {
           // here should be some kind of check, that number of arguments == COLUMN_COUNT
            data.append_copy(var1);
            append(var2...);
        }
        template<typename T>
        void append(const T &var1)
        {
            data.append_copy(var1);
        }

        array_local_t<sstring_t, COLUMN_COUNT> data; // my implementation of arrays
    };

我可以这样调用：

row_t tmp_row(a,b,c,d);
//with a, b, c, d being my sstring_t types

现在，您可能已经注意到，我的数据数组是 sstring_t 类型的。因此，如果我尝试使用 a、b、c、d 为 int 来调用它，我将无法编译代码 -> 我不需要或不希望模板函数的类型名称为 T，而只有 sstring_t，因为在我的情况下，这是唯一有意义的事情（所以我不想将数据数组更改为类型 T 并称之为一天）。我只能写这样的代码。您能帮我使用 C++11 max 将其转换为仅特定类型（sstring_t）吗？

Answer 1

经过一些额外的搜索，我发现了这个link，它提出了一个简单但很好的逻辑，如何通过稍微修改我的代码来获得我想要的东西。 （我将其修改为使用矢量，以便在工作之外对其进行测试）

    struct row_t
    {
        row_t()
        {};
        template<typename ...Types>
        row_t(const string &var1, const Types& ...var2)
        {
           // here should be some kind of check, that number of arguments == COLUMN_COUNT
            append(var1, var2...);
        }
       
        template<typename ...Types>
        void append(const string &var1, const Types& ...var2)
        {
            data.push_back(var1);
            append(var2...);
        }

        void append(const string &var1)
        {
            data.push_back(var1);
        }

        vector<string> data;
    };

使用此代码，当您尝试调用 row_t row("something",2,3) 或 row(some_type, other_type, third_type) 等时，编译器的唯一选项是尝试将给定的参数转换为字符串。因为它可以选择附加一个字符串作为参数，或者附加一个字符串作为第一个参数和一些“可能”的其他参数......由于归纳，它们也必须是字符串。

我最初的问题可能不够清楚。目标是修改代码，使得只有对 row_t 构造函数的有效调用才能使用字符串参数。问题中提供的代码不可编译为其他类型，但这是因为 row.data 的数据类型是字符串，而不是因为模板不允许它。如果提供了非字符串参数，则此答案中的代码将在模板附加函数上失败，而不是在推送到错误类型的 row.data 时。