std::is_invocable работает по-разному на разных компиляторах

@GbaLog- · Регистрация: 24.08.2014

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

тестировал код:

C++
1
2
3
4
5
6
7
8
9
#include <thread>
 
struct Foo {};
void bar(Foo&) {}
 
int main() {
  Foo f;
  std::thread{bar, f}.join();
}

результат на gcc:
https://wandbox.org/permlink/Mfk34VFFkq8qhg53

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

Code
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
In file included from /opt/wandbox/gcc-head/include/c++/12.0.0/stop_token:35,
                 from /opt/wandbox/gcc-head/include/c++/12.0.0/thread:40,
                 from prog.cc:1:
/opt/wandbox/gcc-head/include/c++/12.0.0/bits/std_thread.h: In instantiation of 'std::thread::thread(_Callable&&, _Args&& ...) [with _Callable = void (&)(Foo&); _Args = {Foo&}; <template-parameter-1-3> = void]':
prog.cc:8:21:   required from here
/opt/wandbox/gcc-head/include/c++/12.0.0/bits/std_thread.h:130:72: error: static assertion failed: std::thread arguments must be invocable after conversion to rvalues
  130 |                                       typename decay<_Args>::type...>::value,
      |                                                                        ^~~~~
/opt/wandbox/gcc-head/include/c++/12.0.0/bits/std_thread.h:130:72: note: 'std::integral_constant<bool, false>::value' evaluates to false
/opt/wandbox/gcc-head/include/c++/12.0.0/bits/std_thread.h: In instantiation of 'struct std::thread::_Invoker<std::tuple<void (*)(Foo&), Foo> >':
/opt/wandbox/gcc-head/include/c++/12.0.0/bits/std_thread.h:203:13:   required from 'struct std::thread::_State_impl<std::thread::_Invoker<std::tuple<void (*)(Foo&), Foo> > >'
/opt/wandbox/gcc-head/include/c++/12.0.0/bits/std_thread.h:143:29:   required from 'std::thread::thread(_Callable&&, _Args&& ...) [with _Callable = void (&)(Foo&); _Args = {Foo&}; <template-parameter-1-3> = void]'
prog.cc:8:21:   required from here
/opt/wandbox/gcc-head/include/c++/12.0.0/bits/std_thread.h:252:11: error: no type named 'type' in 'struct std::thread::_Invoker<std::tuple<void (*)(Foo&), Foo> >::__result<std::tuple<void (*)(Foo&), Foo> >'
  252 |           _M_invoke(_Index_tuple<_Ind...>)
      |           ^~~~~~~~~
/opt/wandbox/gcc-head/include/c++/12.0.0/bits/std_thread.h:256:9: error: no type named 'type' in 'struct std::thread::_Invoker<std::tuple<void (*)(Foo&), Foo> >::__result<std::tuple<void (*)(Foo&), Foo> >'
  256 |         operator()()
      |         ^~~~~~~~

результат на clang:
https://wandbox.org/permlink/1fbEDcy7nt4NNxRU

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

Code
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
In file included from prog.cc:1:
/opt/wandbox/clang-head/include/c++/v1/thread:280:5: error: attempt to use a deleted function
    _VSTD::__invoke(_VSTD::move(_VSTD::get<1>(__t)), _VSTD::move(_VSTD::get<_Indices>(__t))...);
    ^
/opt/wandbox/clang-head/include/c++/v1/__config:788:15: note: expanded from macro '_VSTD'
#define _VSTD std::_LIBCPP_ABI_NAMESPACE
              ^
/opt/wandbox/clang-head/include/c++/v1/thread:291:12: note: in instantiation of function template specialization 'std::__thread_execute<std::unique_ptr<std::__thread_struct>, void (*)(Foo &), Foo, 2>' requested here
    _VSTD::__thread_execute(*__p.get(), _Index());
           ^
/opt/wandbox/clang-head/include/c++/v1/thread:307:54: note: in instantiation of function template specialization 'std::__thread_proxy<std::tuple<std::unique_ptr<std::__thread_struct>, void (*)(Foo &), Foo>>' requested here
    int __ec = _VSTD::__libcpp_thread_create(&__t_, &__thread_proxy<_Gp>, __p.get());
                                                     ^
prog.cc:8:3: note: in instantiation of function template specialization 'std::thread::thread<void (&)(Foo &), Foo &, void>' requested here
  std::thread{bar, f}.join();
  ^
/opt/wandbox/clang-head/include/c++/v1/type_traits:1930:5: note: '~__nat' has been explicitly marked deleted here
    ~__nat() = delete;
    ^
1 error generated.

на msvc успешно собирается.

если посмотреть на требования к параметрам, передаваемым в конструктор std::thread,
то видно, что параметры должны быть invocable.
http://eel.is/c++draft/thread.... ead.constr
на таком коде:

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
#include <iostream>
 
struct Foo {};
void bar(Foo&) {}
 
template<class F, class... Args>
void baz(F&&, Args&&...) {
  std::cout << std::is_invocable_v<std::decay_t<F>, std::decay_t<Args>...> << std::endl;
}
 
int main() {
  Foo f;
  baz(bar, f);
}

msvc выводит 1, а gcc и clang выводят 0.
с логической точки зрения кажется, что msvc неправ.
если смотреть на требования к std::is_invocable, то видно, что value у него true, если
INVOKE<R>(declval<Fn>(), declval<ArgTypes>()...) является well-formed when treated as an unevaluated operand.
я так понимаю, в compile-time должно быть well-formed(возможно не только в этом случая, не совсем понял что точно значит unevaluated operand).
http://eel.is/c++draft/meta.rel#lib:is_invocable

таким образом приходим к требованиям INVOKE: https://en.cppreference.com/w/... q/Callable
т.к. у меня не функция-член, то получается, что:

otherwise, INVOKE(f, t1, t2, ..., tN) is equivalent to f(t1, t2, ..., tN) (that is, f is a FunctionObject)

в моём случае ArgTypes == [Foo], Fn == void (*)(Foo&), а R == void.
таким образом, INVOKE<void>(declval<void (*)(Foo&)>(), declval<Foo>()) должны быть well-formed,
но это не так, т.к. Foo является rvalue и не может быть привязан к lvalue-ссылке.

получается, это баг MSVC?
может это документированное поведение?

@hoggy · 08.01.2022, 11:50

Сообщение от GbaLog-

получается, это баг MSVC?

студия в качестве расширения позволяет биндить rvalue на lvalue

@GbaLog- · 08.01.2022, 12:29 **[ТС]**

да, с /Za std::is_invocable возвращает 0.

Новые блоги и статьи Все статьи Все блоги /
изучаю 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 В современном мире, где конкуренция за внимание потребителя достигла пика, дизайн становится мощным инструментом для успеха бренда. Это не просто красивый внешний вид продукта или сайта — это. . .	Модель микоризы: классовый агентный подход 3 anaschu 06.01.2026 aa0a7f55b50dd51c5ec569d2d10c54f6/ O1rJuneU_ls https:/ / vkvideo. ru/ video-115721503_456239114	Owen Logic: О недопустимости использования связки «аналоговый ПИД» + RegKZR ФедосеевПавел 06.01.2026 Owen Logic: О недопустимости использования связки «аналоговый ПИД» + RegKZR ВВЕДЕНИЕ Введу сокращения: аналоговый ПИД — ПИД регулятор с управляющим выходом в виде числа в диапазоне от 0% до. . .	Модель микоризы: классовый агентный подход 2 anaschu 06.01.2026 репозиторий https:/ / github. com/ shumilovas/ fungi ветка по-частям. коммит Create переделка под биомассу. txt вход sc, но sm считается внутри мицелия. кстати, обьем тоже должен там считаться. . . .

@GbaLog- Любитель чаепитий 3745 / 1801 / 566 Регистрация: 24.08.2014 Сообщений: 6,020 Записей в блоге: 1
	08.01.2022, 12:29 [ТС]
	да, с `/Za` `std::is_invocable` возвращает 0. 0

std::is_invocable работает по-разному на разных компиляторах

Решение