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

问题描述

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

    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,d being my sstring_t types

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

解决方法

经过一些额外的搜索，我发现了这个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）等时，编译器的唯一选项。尝试将给定的参数转换为字符串。因为它可以选择以一个字符串作为参数的append，或以string作为第一个参数和其他“可能”其他参数的......由于归纳法也必须是string。

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