1

阅读可变参数函数时，我发现了一个sum函数，它接受任意数量的任何数字类型并计算它们的总和。

有了这个函数的模板性质，我希望它接受string对象，因为运算符+是为字符串定义的。

#include <iostream>
#include <string>
#include <type_traits>
#include <utility>

using namespace std;

template <typename T> T sum(T && x)
{
    return std::forward<T>(x);
}

template <typename T, typename ...Args>
typename std::common_type<T, Args...>::type sum(T && x, Args &&... args)
{
    return std::forward<T>(x) + sum(std::forward<Args>(args)...);
}

int main()
{
    auto y = sum(1, 2, 4.5); // OK
    cout << y << endl;

    auto x = sum("Hello!", "World"); // Makes error
    cout << x << endl;

    return 0;
}

错误：

'const char [7]' 和 'const char [6]' 类型的无效操作数到二进制 'operator+'

我预计它会连接 Hello!并World打印出来Hello!World。问题是什么？

4

2 回答 2

2

字符串文字不是std::string对象。没有operator +为字符数组定义。

正如您的编译器告诉您的那样，"Hello!"有 type const char[7]，而"World"有 type const char[6]。尝试声明这些类型的两个变量并取它们的总和：

int main()
{
    char const a[7] = "Hello!";
    char const b[6] = "World";
    (a + b);
}

编译器会向您显示类似的错误：

error: invalid operands of types 'const char [7]' and 
       'const char [6]' to binary 'operator+'

要使您的代码正常工作，请将两个字符串文字中的至少一个包装到一个对象中std::string（对象的两个相应重载）：operator +std::string

auto x = sum(std::string("Hello!") + "World");

或者：

auto x = sum("Hello!" + std::string("World"));

当然，您也可以包装这两个参数，但这是不必要的。

于 2013-02-24T21:18:05.397 回答
2

根本问题不在于可变参数模板，而在于您的期望 - 字符串文字，例如"hello"不是 type std::string。它们的类型char const[N]是N字符数 + 1。如果您实际上从它们（或者甚至只是从第一个）构造一个字符串，它会按预期工作：

// snip

int main()
{
    auto y = sum(1, 2, 4.5); // OK
    cout << y << endl;

    auto x = sum(std::string("Hello!"), "World"); // OK
    cout << x << endl;

    return 0;
}

活生生的例子。

于 2013-02-24T21:21:36.050 回答