含const右值引用参数的C++代码报错原因及解决方法

原代码 #

#include <sstream>
#include <iostream>

static std::ostringstream oss;

struct fmt
{
  template <typename T>
  fmt& operator<< (const T&& val)
  {
    oss << val;
    return *this;
  }
};

int main()
{
  fmt() << "123";
  std::cout << oss.str();
}

编译报错信息 #

$ cl /EHsc rref.cpp
Microsoft (R) C/C++ Optimizing Compiler Version 19.29.30151 for x64
Copyright (C) Microsoft Corporation.  All rights reserved.

rref.cpp
rref.cpp(18): error C2679: 二进制“<<”: 没有找到接受“const char [4]”类型的右操作数的运算符(或没有可接受的转换)
rref.cpp(9): note: 可能是“fmt &fmt::operator <<<char[4]>(const T (&&))”
        with
        [
            T=char [4]
        ]
rref.cpp(18): note: 尝试匹配参数列表“(fmt, const char [4])”

错误原因 #

问题出在const T&&这个参数类型上：

• 字符串字面量"123"的实际类型是const char[4]，属于左值（数组类型的字符串字面量是左值）。
• const T&&不是C++中的转发引用（万能引用），转发引用要求必须是T&&且T是未被修饰的模板参数。这里的const T&&只能绑定到const类型的右值，无法匹配作为左值的字符串字面量。
• 模板推导后，参数类型会变成const char (&&)[4]（数组类型的const右值引用），而字符串字面量是左值，无法绑定到这个类型，因此编译器找不到匹配的operator<<，触发报错。

改成T&&后，这就成了转发引用：当传入左值时，模板会推导T为const char(&)[4]（数组左值引用），通过引用折叠最终参数类型变为const char(&)[4]，可以正常绑定字符串字面量，所以编译通过。

修复方案 #

方案1：使用转发引用（推荐，支持完美转发） #

保留T&&作为参数，配合std::forward实现完美转发，同时支持左值和右值：

#include <sstream>
#include <iostream>
#include <utility> // 必须包含此头文件以使用std::forward

static std::ostringstream oss;

struct fmt
{
  template <typename T>
  fmt& operator<< (T&& val)
  {
    oss << std::forward<T>(val);
    return *this;
  }
};

int main()
{
  fmt() << "123";
  std::cout << oss.str();
}

方案2：使用const左值引用 #

如果不需要处理右值的特殊场景，直接用const T&作为参数，它可以绑定左值、右值以及字符串字面量：

#include <sstream>
#include <iostream>

static std::ostringstream oss;

struct fmt
{
  template <typename T>
  fmt& operator<< (const T& val)
  {
    oss << val;
    return *this;
  }
};

int main()
{
  fmt() << "123";
  std::cout << oss.str();
}

内容的提问来源于stack exchange，提问作者zentrunix