Какое значение не связано с объектом?

Примерами таких значений являются все не-массивные, неклассовые не временные prvalue (временное prvalue соответствует временному объекту). Примеры включают 2.0 и 1. Контрпримеры включают "hello" (который является массивом), std::string("haha") (который является объектом класса) или float prvalue, временно инициализированным из 2, который привязан к ссылке в (const float&){2} (сама ссылка является lvalue!). Я думаю, что это простое правило точно охватывает правила.

В сноске стандарта C ++ о преобразовании lvalue в rvalue говорится (немного устарело, потому что в него не были внесены поправки для упоминания типов массивов)

В классе C ++ prvalues ​​могут иметь типы с квалификацией cv (поскольку они являются объектами). Это отличается от ISO C, в котором значения, отличные от lvalue, никогда не имеют типов с квалификацией cv.

Таким образом, более глубокая причина того, что decltype((const int)0) все еще относится к типу int, заключается в том, что он не ссылается на объект. Итак, поскольку объекта нет, нечего делать const, и, следовательно, выражение тоже никогда не будет const.

[intro.object]:

Конструкции в программе C ++ создают, уничтожают, обращаются к объектам, обращаются к ним и манипулируют ими. Объект - это область хранения. [Примечание: функция не является объектом, независимо от того, занимает ли она память, как это делают объекты. - конец примечания] Объект создается определением (3.1), новым выражением (5.3.4) или реализацией (12.2), когда это необходимо.

Итак, «значение, не связанное с объектом» - это что-то, созданное не по определению или с помощью new-expression, что также означает, что оно не имеет соответствующей области хранения, например, литерала.

Изменить: кроме строковых литералов (см. комментарии)

Эта цитата сформулирована не так точно, как могла бы быть:

Rvalue (исторически так называемые, потому что rvalue могли появляться в правой части выражения присваивания) - это xvalue, временный объект (12.2) или его подобъект, либо значение, не связанное с объектом.

Rvalue - это выражение, поэтому оно не может быть объектом (временным или каким-либо другим образом). Цель раздела этой цитаты, посвященного временным объектам, состоит в том, чтобы сказать, что значение, полученное в результате вычисления rvalue, является временным объектом и так далее.

Это распространенный ярлык, например с int x; мы бы случайно сказали «x находится в int», когда на самом деле x - идентификатор; а выражение x имеет тип int и обозначает int.

В любом случае, он делит возможные значения r на три категории:

• xvalue
• временный объект
• значение, не связанное с объектом

Определение временного объекта включает в себя объект типа класса, поэтому мне кажется, что «значение, не связанное с объектом», должно быть любым не-x-значением неклассового типа. Например 1 + 1.