Что означает знак плюса перед массивом символов?
Я читал сегодня этот ответ и заметил знак плюс перед массивами символов, но не знаю, что это значит.
Учитывая ошибку компиляции, когда я ее удаляю, я могу предположить, что это что-то помогает компилятору определить тип возвращаемого значения, но я не знаю, как это работает.
Код теста (также здесь):
#include <iostream>
using namespace std;
auto& operator<<(std::ostream& os, const char (&s)[2]) {
return os << (*s == ' ' && !s[1] ? +"\n" : +s);
}
int main() {
cout << "Hello" << " " << "world" << " " << 2018;
return 0;
}
При удалении знаков плюс (образец) он не компилируется:
main.cpp: In function 'auto& operator<<(std::ostream&, const char (&)[2])':
main.cpp:6:48: error: use of 'auto& operator<<(std::ostream&, const char (&)[2])' before deduction of 'auto'
return os << (*s == ' ' && !s[1] ? "\n" : s); ^main.cpp: In function 'int main()':
main.cpp:10:24: error: use of 'auto& operator<<(std::ostream&, const char (&)[2])' before deduction of 'auto'
cout << "Hello" << " " << "world" << " " << 2018; ^~~
Ответы 2
Встроенный унарный operator+ может принимать тип указателя (но не тип массива) в качестве своего операнда, поэтому его использование в массиве вызывает распад массива на указатель, тогда +"\n" и +s вернут const char *.
С другой стороны, если вы откажетесь от использования operator+, вы попытаетесь передать массив с типом const char[2] в os, что приведет к рекурсивному вызову, как вам пытались сообщить в сообщении об ошибке.
For the built-in operator, expression must have arithmetic, unscoped enumeration, or pointer type. Integral promotion is performed on the operand if it has integral or unscoped enumeration type and determines the type of the result.
The built-in unary plus operator returns the value of its operand. The only situation where it is not a no-op is when the operand has integral type or unscoped enumeration type, which is changed by integral promotion, e.g, it converts
chartointor if the operand is subject to lvalue-to-rvalue, array-to-pointer, or function-to-pointer conversion.
Это одинарный плюс. Встроенный оператор может применяться только к числовым типам и указателям. Все, что он делает, это вызывает неявное преобразование, если оно требуется, и возвращает операнд без изменений.
Поскольку s является ссылкой на массив, к нему нельзя применить + до того, как он распадется на указатель, поэтому оператор принудительно вызывает преобразование массива в указатель.
Причина, по которой это необходимо сделать, заключается в том, что "\n" сам по себе представляет собой константный массив из двух символов. Поскольку условное выражение имеет общий тип своего второго и третьего операндов, оно будет иметь тип char const(&)[2], если только один операнд не был преобразован в указатель заранее.
И вы можете догадаться, какая перегрузка operator<< будет вызвана для char const(&)[2], не так ли?
Хорошо, что я использовал
auto&как возвращаемый тип, ошибку компилятора намного проще отладить, чем переполнение стека.