Привет. Подскажите пожалуйста, это не баг? https://godbolt.org/z/7YEqYP9Gf

Question

pro.cxx

Anatoliy Tomilov [Russia]

Привет. Подскажите пожалуйста, это не баг? https://godbolt.org/z/7YEqYP9Gf

#c++ #embedded #programming #russian

0

14.11.2023

22 ответов

42 просмотра

Гражданин Котейко

добавь перегрузку get для X&&

0

14.11.2023

Denis

@mostvexingparsse верно написал про перегрузку get<> для && https://timsong-cpp.github.io/cppwp/n4868/dcl.struct.bind#4 In either case, e is an lvalue if the type of the entity e is an lvalue reference and an xvalue otherwise.

0

16.11.2023

Anatoliy Tomilov [Russia] Автор вопроса

Denis
@mostvexingparsse верно написал про перегрузку get...

это понятно, что workaround. Но какие qualifiers discarded? Явно же бредовое сообщение об ошибке. Почему const float не конструируется из float&?

0

16.11.2023

Denis

Anatoliy Tomilov [Russia]
это понятно, что workaround. Но какие qualifiers ...

Это не воркэраунд, как я понимаю. a и b в вашем примере — это элиасы не для полей x (который lvalue), а для полей копии x, в стандарте называемой e (и которая в этом случае xvalue).

0

16.11.2023

Anatoliy Tomilov [Russia] Автор вопроса

Denis
Это не воркэраунд, как я понимаю. a и b в вашем пр...

т.е. это должно сломаться, если у меня данные-члены non-copyable?

0

16.11.2023

Denis

Anatoliy Tomilov [Russia]
это понятно, что workaround. Но какие qualifiers ...

Вот как цппинсайт интерпретирует AST кланга: https://cppinsights.io/s/1c92b80e

0

16.11.2023

Denis

Anatoliy Tomilov [Russia]
это понятно, что workaround. Но какие qualifiers ...

Стикер

0

16.11.2023

Alexander Karaev

Минимизированный пример: const std::tuple<int, int> t; auto [a, b] = t;

0

16.11.2023

Denis

Alexander Karaev
Минимизированный пример: const std::tuple<int, int...

И вот так получится #include <tuple> int main() { const std::tuple<int, int> t = std::tuple<int, int>(); std::tuple<int, int> __t6 = std::tuple<int, int>(t); int && a = std::get<0UL>(static_cast<std::tuple<int, int> &&>(__t6)); int && b = std::get<1UL>(static_cast<std::tuple<int, int> &&>(__t6)); return 0; }

0

16.11.2023

Anatoliy Tomilov [Russia] Автор вопроса

чёт не соответствует сообщению об ошибке. Нет таких слов в нём

0

16.11.2023

Denis

Anatoliy Tomilov [Russia]
чёт не соответствует сообщению об ошибке. Нет таки...

каких таких?

0

16.11.2023

Alexander Karaev

Anatoliy Tomilov [Russia]
чёт не соответствует сообщению об ошибке. Нет таки...

Есть, просто неочевидно сформулировано. binding reference of type '...' {aka 'double&'} to 'const double' discards qualifiers

0

16.11.2023

Anatoliy Tomilov [Russia] Автор вопроса

Denis
каких таких?

const double = double & — (псевдокод) вот такую ситуацию описывает сообщение об ошибке

0

16.11.2023

Denis

сообщение описывает вот такую ситуацию: https://godbolt.org/z/crxr1hjoj

0

16.11.2023

Anatoliy Tomilov [Russia] Автор вопроса

Denis
сообщение описывает вот такую ситуацию: https://go...

да уж. Путница. Тем более это не соответствует cppinsight выкладкам(

0

16.11.2023

Denis

Anatoliy Tomilov [Russia]
да уж. Путница. Тем более это не соответствует cpp...

что чему не соответствует?

0

16.11.2023

Anatoliy Tomilov [Russia] Автор вопроса

Denis
что чему не соответствует?

там double&& a = get...

0

16.11.2023

Denis

Anatoliy Tomilov [Russia]
там double&& a = get...

Тип a зависит от value category инициализатора, которая в свою очередь определяется тем, какая перегрузка get<> выбрана. А это в свою очередь зависит от value category e (xvalue, если у вас auto [a, b], а не auto& [a, b], например) и от того, какие перегрузки есть (у вас нет для &&, но есть для const&). В том же пункте стандарта: Given the type Ti designated by std::tuple_element<i, E>::type and the type Ui designated by either Ti& or Ti&&, where Ui is an lvalue reference if the initializer is an lvalue and an rvalue reference otherwise, variables are introduced with unique names ri as follows: S Ui ri = initializer ;

0

16.11.2023

Андрей Руссков

Denis
И вот так получится #include <tuple> int main() ...

а как код помечать что это именно с++?

0

16.11.2023

Pavel (RayeS) Sidorovich

Anatoliy Tomilov [Russia]
там double&& a = get...

Зачем ты постоянно пытаешься сохранить ссылки на временный объект? Может всё же если копируешь, то по значению?

0

16.11.2023