Можем ли мы взять адрес xvalue

Насколько я знаю, со времен C++11 появились такие понятия: lvalue, rvalue, prvalue, xvalue и т.д.

Насколько я понимаю, если функция возвращает локальную переменную, она должна быть rvalue.

std::string func() { return std::string("abc"); }
auto ret = func(); // func returns a rvalue

А для xvalue std::move(x) — это своего рода xvalue.

Думаю, я прав.

Сегодня мой коллега сказал мне, что мы не можем получить адрес rvalue, поэтому &func() недопустимо, но мы можем получить адрес xvalue. Это способ различить rvalue и xvalue...

Ну, я только что попробовал: int a = 1; std::cout << &std::move(a);. Но компилятор сказал:

error: taking address of xvalue (rvalue reference)

Значит, мой коллега не прав?

ОБНОВИТЬ

На самом деле, мой коллега неправильно понял значение «имеет личность» и унарный оператор &, и он меня смущает...

Вот очень хороший вопрос по этой проблеме: Что значит «xvalue имеет идентичность»?

Мое личное мнение: теоретически C++ мог был разработан, чтобы разрешить & для значений x. Действительно, мы можем написать T* get_addr(T&& y) { return &y; }, а затем использовать get_addr(std::move(x)), так что определение &std::move(x) таким образом выглядит осуществимым. Однако стоит ли брать адрес объекта истекающий? Написание T* p = get_addr(std::move(x)); создает висячий указатель (бессмысленно). Чтобы избежать этого, мы могли бы продлить время жизни xvalue, привязав его к ссылке, но в этот момент у нас есть lvalue для использования &. Похоже, что разрешение &xvalue() в большинстве случаев будет только вредным.

chi 05.05.2022 17:13
Стоит ли изучать PHP в 2023-2024 годах?
Стоит ли изучать PHP в 2023-2024 годах?
Привет всем, сегодня я хочу высказать свои соображения по поводу вопроса, который я уже много раз получал в своем сообществе: "Стоит ли изучать PHP в...
Поведение ключевого слова "this" в стрелочной функции в сравнении с нормальной функцией
Поведение ключевого слова "this" в стрелочной функции в сравнении с нормальной функцией
В JavaScript одним из самых запутанных понятий является поведение ключевого слова "this" в стрелочной и обычной функциях.
Приемы CSS-макетирования - floats и Flexbox
Приемы CSS-макетирования - floats и Flexbox
Здравствуйте, друзья-студенты! Готовы совершенствовать свои навыки веб-дизайна? Сегодня в нашем путешествии мы рассмотрим приемы CSS-верстки - в...
Тестирование функциональных ngrx-эффектов в Angular 16 с помощью Jest
В системе управления состояниями ngrx, совместимой с Angular 16, появились функциональные эффекты. Это здорово и делает код определенно легче для...
Концепция локализации и ее применение в приложениях React ⚡️
Концепция локализации и ее применение в приложениях React ⚡️
Локализация - это процесс адаптации приложения к различным языкам и культурным требованиям. Это позволяет пользователям получить опыт, соответствующий...
Пользовательский скаляр GraphQL
Пользовательский скаляр GraphQL
Листовые узлы системы типов GraphQL называются скалярами. Достигнув скалярного типа, невозможно спуститься дальше по иерархии типов. Скалярный тип...
2
1
64
1
Перейти к ответу Данный вопрос помечен как решенный

Ответы 1

Ответ принят как подходящий

Ваш коллега не прав. C++ всегда требовал lvalue для использования с адресом оператора. Это явно вызывается в [expr.unary.op]/3:

The operand of the unary & operator shall be an lvalue of some type T. The result is a prvalue.

Если бы стандарт использовал glvalue вместо lvalue, то они были бы правильными, но согласно [рис.:basic.lval]lvalue и xvalue являются отдельными листьями glvalue, поэтому xvalue не разрешены.

Да, ты прав. На самом деле мой коллега просто неправильно понял значение слова "имеет личность"... Вот хороший вопрос по этому поводу: stackoverflow.com/questions/50783525/…

Yves 05.05.2022 15:15

Другие вопросы по теме