3

Почему clang не компилирует этот код https://godbolt.org/z/co7hheM3v?

#include <functional>

struct Incomplete;
Incomplete&& give();
void take(Incomplete&&);

void okay() {
    take(give());
}

void bad() {
    std::invoke(take, give());
}

error: no matching function for call to 'invoke'

4
  • Ну и откуда он должен взять адрес функции которых нет?
    – ori
    10 фев 2022 в 12:24
  • похоже clang тут ни при чём (сам же видишь, что с libc++ он собирается нормально… да и gcc фейлится аналогично)… выглядит как баг в libstdc++…
    – Fat-Zer
    10 фев 2022 в 13:32
  • и если что, баг, похоже ещё не зарепорчен…
    – Fat-Zer
    10 фев 2022 в 14:21
  • 1
    Я так понял, код взяли из этой статьи. Разве там нет объяснения? 10 фев 2022 в 20:33

1 ответ 1

0

Это UB, но какое-то странное. Выглядит как баг в стандарте.

std::invoke:

This overload participates in overload resolution only if std::is_invocable_v<F, Args...> is true.

std::is_invocable <class Fn, class... ArgTypes>:

Fn, R and all types in the parameter pack ArgTypes shall each be a complete type, (possibly cv-qualified) void, or an array of unknown bound. Otherwise, the behavior is undefined.

Ваш ответ

Нажимая на кнопку «Отправить ответ», вы соглашаетесь с нашими пользовательским соглашением, политикой конфиденциальности и политикой о куки

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.