首页 > 解决方案 > 如何将 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, b, c, d being my sstring_t types

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

标签: c++c++11templatesvariadic-templatesvariadic-functions

解决方案


经过一些额外的搜索后,我发现了这个链接,它提出了一个简单但很好的逻辑,如何通过对我的代码进行轻微修改来获得我想要的东西。(我将其修改为使用矢量,因此我可以在工作之外对其进行测试)

    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 时。


推荐阅读