Можете ли вы связать константу T*&& со значением x типа T*? ⇐ C++
-
Гость
Можете ли вы связать константу T*&& со значением x типа T*?
Рассмотрим следующий код: (https://godbolt.org/z/8W699x6q6)
int* p; const int*&& r = static_cast(p); Примечание: const int*&& — это ссылка rvalue на указатель на const int.
Clang успешно компилирует это, но r привязывается к временному объекту:
p: .quad 0 r: .quad _ZGR1r_ // r — ссылка на временный объект, иначе это было бы p GCC отклоняет этот код:
:2:18: ошибка: привязка ссылки типа 'const int*&&' к 'int*' отбрасывает квалификаторы 2 | const int *&&r = static_cast(p); | ^~~~~~~~~~~~~~~~~~~~~~ Лично я считаю, что GCC правильно реализует изменения CWG 2352 в [dcl.init.ref] p4, но я не уверен, что правильно интерпретирую ситуацию. Какой компилятор здесь прав?
Примечание: пример в этом вопросе основан на последней строке кода, упомянутой в CWG 2018.
Примечание: если бы было разрешено связывать const int*&& с int*&&, это означало бы нарушение константной корректности. Это та же проблема, что и преобразование int** в const int**. Лично я думаю, что маловероятно, чтобы комитет хотел, чтобы эта привязка ссылок была разрешена, однако, возможно, формулировка все еще допускает это, несмотря на отчет о дефекте.
Рассмотрим следующий код: (https://godbolt.org/z/8W699x6q6)
int* p; const int*&& r = static_cast(p); Примечание: const int*&& — это ссылка rvalue на указатель на const int.
Clang успешно компилирует это, но r привязывается к временному объекту:
p: .quad 0 r: .quad _ZGR1r_ // r — ссылка на временный объект, иначе это было бы p GCC отклоняет этот код:
:2:18: ошибка: привязка ссылки типа 'const int*&&' к 'int*' отбрасывает квалификаторы 2 | const int *&&r = static_cast(p); | ^~~~~~~~~~~~~~~~~~~~~~ Лично я считаю, что GCC правильно реализует изменения CWG 2352 в [dcl.init.ref] p4, но я не уверен, что правильно интерпретирую ситуацию. Какой компилятор здесь прав?
Примечание: пример в этом вопросе основан на последней строке кода, упомянутой в CWG 2018.
Примечание: если бы было разрешено связывать const int*&& с int*&&, это означало бы нарушение константной корректности. Это та же проблема, что и преобразование int** в const int**. Лично я думаю, что маловероятно, чтобы комитет хотел, чтобы эта привязка ссылок была разрешена, однако, возможно, формулировка все еще допускает это, несмотря на отчет о дефекте.
