c – 以下Variadic模板行为是否不一致？

2019-07-27 02:05:45 阅读：109 来源： 互联网

标签：c string templates variadic-templates

我正在尝试以下示例来了解可变参数模板,并发现行为有些不一致.

#include <iostream>
#include <string>
using namespace std;

template<typename T>
T adder(T v) {  
  return v;
}

template<typename T, typename... Args>
T adder(T first, Args... args) {    
  return first + adder(args...);
}

int main()
{   
    long sum = adder(1, 2, 3, 8, 7); //Works
    cout << sum << endl;

    string s1 = "xx", s2 = "aa", s3 = "bb", s4 = "yy";

    string ssum = adder(s1, s2, s3, s4); //Works
    cout << ssum << endl;

    string ssum2 = s1 + s2 + "3" + "4"; //Works as operator '+' is defined in string class for const char*
    cout << ssum2 << endl;

    string ssum3 = adder(s1, s2, "3", "4"); //Does not work. Expected as  binary 'operator+' is not defined for string and const char*
    cout << ssum3 << endl;

    string ssum4 = adder("3", "4"); //Does not work. Expected as  binary 'operator+' is not defined for const char* and const char*
    cout << ssum4 << endl;

    string ssum5 = adder(s1, s2, "3"); //Works!!! 
    cout << ssum5 << endl;  

}

调用ssum3和ssum4的加法器失败但适用于ssum5.这种行为是否一致？是否发生了因为ssum5的最后一个参数在最后一次迭代时被转换为字符串？

解决方法:

您可以使用std :: common_type修复它.

正如其他人所说,这与递归的顺序有关.

adder(s1, s2, "3")

是相同的：

s1 + adder(s2, "3")

这是有效的,因为它与(与std :: strings相加,并且还将std :: string与const char *相加,这是合法的)：

s1 + (s2 + ("3")))

另一方面

adder(s1, s2, "3", "4");

显然无法工作,因为它是相同的(最终添加两个const char *,这是非法的)：

s1 + (s2 + ("3" + ("4")))

要克服这一点,你应该使用std :: common_type,它将执行公共类型的所有添加(在这种情况下是std :: string)：

template<typename T>
T adder(const T & v) {  
  return v;
}

template<typename T, typename... Args>
T adder(const T & first, const Args &... args) {    
  return first + adder<typename std::common_type<T, Args...>::type>(args...);
}

另一个选择是使用C 17折叠表达式(如果你有C 17)：

template <typename ... Args>
typename std::common_type<Args...>::type
adder2(const Args & ... args)
{
    using type = typename std::common_type<Args...>::type;
    return (type(args) + ... );
}

缺点是它导致类型(如字符串)的复制构造函数,并且它需要C 17.通过使用辅助函数,可以摆脱额外的构造(包括公共基类)：

template <typename Target, typename Source>
typename std::enable_if< ! std::is_base_of<Target, Source>::value, 
                         Target>::type 
toType(const Source & source)
{
    return source;
}
template <typename Target, typename Source>
typename std::enable_if<std::is_base_of<Target, Source>::value, 
                        const Target&>::type
toType(const Source & source)
{
    return source;
}
template <typename ... Args>
typename std::common_type<Args...>::type
addder3(const Args & ... args)
{
    using type = typename std::common_type<Args...>::type;
    return (toType<type>(args) + ... );
}

标签：c,string,templates,variadic-templates
来源： https://codeday.me/bug/20190727/1549448.html

本站声明： 1. iCode9 技术分享网（下文简称本站）提供的所有内容，仅供技术学习、探讨和分享；
2. 关于本站的所有留言、评论、转载及引用，纯属内容发起人的个人观点，与本站观点和立场无关；
3. 关于本站的所有言论和文字，纯属内容发起人的个人观点，与本站观点和立场无关；
4. 本站文章均是网友提供，不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属；如您发现该文章侵犯了您的权益，可联系我们第一时间进行删除；
5. 本站为非盈利性的个人网站，所有内容不会用来进行牟利，也不会利用任何形式的广告来间接获益，纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。

ICode9

c – 以下Variadic模板行为是否不一致？