使用auto和decltype时std::cout输出异常，求正确打印方法

为啥输出的是60603而不是你想要的"Hello There! 99"？ #

其实问题出在你对C++里字符串字面量的类型理解上：

• "Hello There! " 不是你以为的“字符串对象”，它本质是一个**const char*类型的指针**，指向内存中存储这个字符串的起始位置。
• 当你把这个指针和整数99相加时，C++不会帮你做字符串拼接——它会执行指针加法：把指针指向的地址往后挪99个字节，得到一个新的指针。
• 然后std::cout尝试输出这个新指针指向的内容，可这个地址已经超出了原字符串的内存范围，属于无效内存，所以输出的是随机的内容（你看到的60603就是这块无效内存里刚好存在的字符）。

怎么才能正确输出目标字符串？ #

要实现字符串和整数的拼接，你得用C++标准库的std::string类型，它专门重载了+运算符来支持字符串拼接（不过整数得先转成字符串）。给你两种简单的修正方案：

方案1：直接在调用时转换类型（新手友好） #

只需要修改main函数里的调用代码，把字符串字面量包装成std::string，同时把整数转成字符串：

#include <iostream>
#include <string> // 必须包含这个头文件才能用std::string和std::to_string

template<class T, class K>
auto test(T val1, K val2) -> decltype(val1 + val2)
{
    return val1 + val2;
};

int main()
{
    // 把字符串字面量转为std::string，整数转成string后再拼接
    std::cout << test(std::string("Hello There! "), std::to_string(99));
    return 0;
}

方案2：让模板函数自动处理类型（更灵活） #

如果你希望模板函数能自动识别C风格字符串和整数，帮你完成转换，可以稍微修改模板逻辑：

#include <iostream>
#include <string>
#include <type_traits> // 用来判断类型的头文件

template<class T, class K>
auto test(T val1, K val2) -> decltype(auto)
{
    // 把C风格字符串转成std::string，其他类型保持原样
    auto str_val1 = std::is_same_v<std::decay_t<T>, const char*> ? std::string(val1) : val1;
    
    // 如果第二个参数是整数，转成字符串再拼接；否则直接相加
    if constexpr (std::is_integral_v<K>) {
        return str_val1 + std::to_string(val2);
    } else {
        return str_val1 + val2;
    }
};

int main()
{
    std::cout << test("Hello There! ", 99);
    return 0;
}

两种方案都能正确输出Hello There! 99，方案1更简单，适合你现在的新手阶段；方案2扩展性更强，以后遇到其他类型的拼接也能处理。

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