我的代码出现了一些非常奇怪的问题。我相信我已经追踪到了标记为“here”的部分（当然，代码已经简化）：
std::string func() {
char c;
// Do stuff that will assign to c
return "" + c; // Here
}
在我尝试cout这个函数的结果时，各种问题都会发生。我甚至认为自己已经获取了底层C++文档的一些片段，以及许多分段错误. 对我来说，很明显这在C++中行不通（现在我已经转而使用stringstream将其转换为string），但我想知道原因。由于我长时间使用C＃而没有学习C ++，这给我带来了许多痛苦。
""是一个字符串字面值。它们的类型为N const char的数组。这个特定的字符串字面值是一个1 const char的数组，其唯一的元素是空终止符。
数组很容易衰变成指向它们第一个元素的指针，例如在需要指针的表达式中。
lhs + rhs对于数组和整数不被定义为lhs和rhs。但是对于指针作为lhs和整数作为rhs，它是有定义的，具有通常的指针算术。
char是C++核心语言中的一个整型数据类型（即将其视为整数）。
==> 因此，字符串字面值+字符 被解释为 指针+整数。
表达式"" + c大致相当于：
static char const lit[1] = {'\0'};
char const* p = &lit[0];
p + c // "" + c is roughly equivalent to this expression
string(char const* p)
{
// simplified
char const* end = p;
while(*end != '\0') ++end;
//...
}
这将会导致访问冲突，或者所创建的字符串包含“垃圾”。
同时，编译器可能会认为这种未定义行为永远不会发生，并进行一些有趣的优化，导致出现奇怪的行为。
顺便说一下，clang++3.5对此片段发出了一个不错的警告：
警告：将'char'添加到字符串中不会将其附加到字符串[-Wstring-plus-int]
return "" + c; // Here
~~~^~~
注意: 使用数组索引来消除此警告
c > 1，"" + c 只是未定义行为，因为 "" 的大小为 1，标准明确允许指针超出分配内存的末尾一个元素以实现迭代。否则，即使是简单的 for 循环遍历整个数组也会有 UB。不过，在 std::string 构造函数中解引用该指针是 UB。 - Simon Lehmannc == 1 的情况下，UB 来自于使用不是指向以 null 结尾的字符串（这意味着指向有效数组的指针）的东西调用 std::string 的构造函数。也就是说，对于 c > 1，存在比构造函数调用更早的 UB 源，但无论如何，对于 c > 0 都存在 UB。 - dypc < 0 的情况，因为 char 可能是有符号类型。 - user1084944有很多关于编译器如何解释这段代码的解释，但是你想知道的可能是你哪里出错了。
你似乎期望从std::string获得+的行为。问题在于，操作数中没有一个实际上是std::string。C++查看操作数的类型，而不是表达式的最终类型（这里是返回类型std::string），以解决重载。如果没有看到std::string，它就不会选择std::string的+版本。
如果你对运算符有特殊的行为（无论是你自己编写还是使用提供此类行为的库），那么只有当至少有一个操作数具有类类型（或引用类类型，并且用户定义的枚举也算）时，该行为才适用。
如果你写了
std::string("") + c
std::string() + c
""s + c // requires C++14
那么您将获得std::string运算符+的行为。
（请注意，这些都不是真正的好解决方案，因为它们都会创建短暂的std::string实例，可以通过std::string(1, c)避免）
对于函数也是如此。这里有一个示例：
std::complex<double> ipi = std::log(-1.0);
你将会收到一个运行时错误，而不是预期的虚数。这是因为编译器不知道它应该在这里使用复对数。重载只关注参数，而参数是一个实数（实际上是double类型）。
操作符重载本质上是函数，遵循相同的规则。
std中重载函数和运算符的规则......在那里，标准类型可以满足“类或类引用”的要求，而自定义类型的指针可以满足与自定义类型相关的要求。 - Ben Voigtstd 中重载函数是被禁止的，除非明确允许。 - dypreturn "" + c;
是有效的。这里使用了所谓的指针算术。字符串字面量""被转换为指向其第一个字符的指针（在本例中指向它的终止零），并将存储在c中的整数值加到指针上。因此，表达式的结果是
"" + c
类型为const char *
std::string类有一个转换构造函数，可以接受const char *类型的参数。问题在于这个指针可能指向字符串常量之外的位置。因此该函数行为未定义。
我不认为使用这个表达式有任何意义。如果你想基于一个字符构建一个字符串，你可以写例如
return std::string( 1, c );
return "" + c; 是有效的。-- 前提是c不大于1。如果c等于1，那么返回值除了减去1之外就没有其他用途了。 - Jim Balter
const char *str=""; return &(str[(int)c]);。除非 C 是 0，否则会导致未定义行为。我的翻译保持了原文的意思并使其更易懂，但没有解释或提供额外的信息。 - hydes字符串字面值感兴趣。 - Hiurareturn std::string(1, c);来返回一个包含单个字符c的std::string对象。 - GingerPlusPlus