dereferencing a function

@eva2326 · Регистрация: 17.05.2015

Студворк — интернет-сервис помощи студентам

Всем привет!

Что должно быть выведено в консоле?

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
#include <iostream>
#include <type_traits>
 
template<class, class = void>
struct is_dereferencable : ::std::false_type {};
 
template<class t> struct is_dereferencable<t,
        ::std::void_t<decltype(*::std::declval<t>())>
    > : ::std::true_type
{};
 
int main()
{
    std::cout << is_dereferencable<void()>::value << '\n';
}

Кликните здесь для просмотра всего текста

1

Если я все правильно поняла, то правило:

Сообщение от TheCalligrapher

Function type decay

Исполняется только в том случае, когда в качестве операнда ожидается prvalue:

Сообщение от argcargv

ибо https://timsong-cpp.github.io/... sentence-1

Однако, в стандарте нигде не сказанно, что операнд оператора разыменовывания является prvalue.

Выдержка из стандарта

The unary * operator performs indirection: the expression to which it is applied shall be a pointer to an object type, or a pointer to a function type and the result is an lvalue referring to the object or function to which the expression points. If the type of the expression is “pointer to T”, the type of the result is “T”.
[Note 1: Indirection through a pointer to an incomplete type (other than cv void) is valid. The lvalue thus obtained can be used in limited ways (to initialize a reference, for example); this lvalue must not be converted to a prvalue, see [conv.lval]. — end note]

Отсюда вопрос:
На каком основании компилятор выполняет преобразование: функция -> указатель-на-функцию в описанной выше мета-функции?

@argcargv · 06.05.2021, 15:01

Сообщение от eva2326

Однако, в стандарте нигде не сказанно, что операнд оператора разыменовывания является prvalue.

Это CWG1642.
Можно считать что если не указано что ожидается, то ожидается prvalue.

Новые блоги и статьи Все статьи Все блоги /
Первый деплой lagorue 16.01.2026 Не спеша развернул своё 1ое приложение в kubernetes. А дальше мне интересно создать 1фронтэнд приложения и 2 бэкэнд приложения развернуть 2 деплоя в кубере получится 2 сервиса и что-бы они. . .	Расчёт переходных процессов в цепи постоянного тока igorrr37 16.01.2026 / * Дана цепь постоянного тока с R, L, C, k(ключ), U, E, J. Программа составляет систему уравнений по 1 и 2 законам Кирхгофа, решает её и находит токи на L и напряжения на C в установ. режимах до и. . .	Восстановить юзерскрипты Greasemonkey из бэкапа браузера damix 15.01.2026 Если восстановить из бэкапа профиль Firefox после переустановки винды, то список юзерскриптов в Greasemonkey будет пустым. Но восстановить их можно так. Для этого понадобится консольная утилита. . .	Изучаю kubernetes lagorue 13.01.2026 А пригодятся-ли мне знания kubernetes в России?
Сукцессия микоризы: основная теория в виде двух уравнений. anaschu 11.01.2026 https:/ / rutube. ru/ video/ 7a537f578d808e67a3c6fd818a44a5c4/	WordPad для Windows 11 Jel 10.01.2026 WordPad для Windows 11 — это приложение, которое восстанавливает классический текстовый редактор WordPad в операционной системе Windows 11. После того как Microsoft исключила WordPad из. . .	Classic Notepad for Windows 11 Jel 10.01.2026 Old Classic Notepad for Windows 11 Приложение для Windows 11, позволяющее пользователям вернуть классическую версию текстового редактора «Блокнот» из Windows 10. Программа предоставляет более. . .	Почему дизайн решает? Neotwalker 09.01.2026 В современном мире, где конкуренция за внимание потребителя достигла пика, дизайн становится мощным инструментом для успеха бренда. Это не просто красивый внешний вид продукта или сайта — это. . .

dereferencing a function

Решение