为何编译器无法推导std::endl在完美转发operator<<中的类型？

核心原因 #

std::endl并非普通值类型，而是重载的模板函数，其完整签名为：

template <class CharT, class Traits>
std::basic_ostream<CharT, Traits>& endl(std::basic_ostream<CharT, Traits>&);

当你将std::endl传递给JsonRecord::operator<<(T&&)时，编译器需要推导模板参数T的具体类型，但std::endl属于一个模板函数家族，存在无数可能的实例化版本，编译器无法自动匹配到适配std::ostringstream（即std::basic_ostream<char, std::char_traits<char>>）的那个重载，因此推导失败。

而mylog << "hello"能正常运行，是因为字符串字面量的类型const char[]是明确的，编译器可以直接推导T的类型。

解决方案 #

方案1：显式指定std::endl的类型 #

直接将std::endl强制转换为匹配std::ostringstream的函数指针类型，让编译器明确要使用的重载版本：

int main()
{
    Log mylog;
    mylog << "hello" << static_cast<std::ostream&(*)(std::ostream&)>(std::endl);
}

方案2：添加流操纵符的专用重载 #

在JsonRecord中新增针对流操纵符的非模板重载，绕过模板推导逻辑：

struct JsonRecord
{
    JsonRecord() = delete;
    JsonRecord(JsonRecord&&) = default;
    ~JsonRecord()
    {
        std::cout << _ostr.str() << std::endl;
    };

    template <typename T>
    auto operator<<(T&& entry) -> JsonRecord&
    {
        _ostr << std::forward<T>(entry);
        return *this;
    }

    // 新增：专门处理流操纵符的重载
    JsonRecord& operator<<(std::ostream&(*manip)(std::ostream&))
    {
        _ostr << manip;
        return *this;
    }

    std::ostringstream _ostr;
};

修改后即可直接使用链式调用：

int main()
{
    Log mylog;
    mylog << "hello" << std::endl;
}

额外说明 #

Log::operator<<返回的是JsonRecord值对象而非引用，这意味着mylog << "hello"会生成临时对象，后续的<< std::endl是对临时对象的操作，该设计本身是可行的，但如果需要长期持有记录对象，可考虑返回引用或调整对象生命周期管理逻辑。

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