В шаблонную функцию передается в качестве аргумента указатель на фунцию-член

Question

В шаблонную функцию передается в качестве аргумента указатель на фунцию-член

класса. Хочу проверить с помощью static_assert (используя std::is_same или любой другой способ) , что эта функция член имеет один аргумент и это std::atomic_bool. Как это сделать? Приложу микрофрагмент кода, что бы яснее было

template<class T>
void executor(T foo)
{
static_assert(...., "foo must be a member function with std::atomic<bool> argument");

}

a.executor(&A::param);

#c #embedded #programming #russian

0

07.12.2021

12 ответов

15 просмотров

Animal Автор вопроса

Anatoly Shirokov
концепты вам доступны?

к сожалению, нет, ограничен с++14

0

07.12.2021

Danya🔥

Animal
к сожалению, нет, ограничен с++14

Надо написать простой тайп-трейт И лучше сделать сфинае, а не статик ассерт

0

07.12.2021

🐻Alex Fails🦥🏔🍓 ︙

Animal
к сожалению, нет, ограничен с++14

Можно спереть способ, как у Эрика Ниблера были сделаны концепты на c++14

0

07.12.2021

Danya🔥

🐻Alex Fails🦥🏔🍓 ︙
Можно спереть способ, как у Эрика Ниблера были сде...

Ну это оверкилл

0

07.12.2021

Anatoly Shirokov

выразите это требование напрямую: template<typename T, typename U> void foo(T (U::*member)(std::atomic<bool>)) { } struct boo { void f(std::atomic<bool>) {}; }; int main() { boo b; foo(&boo::f); }

0

07.12.2021

Animal Автор вопроса

Anatoly Shirokov
выразите это требование напрямую: template<typenam...

идеально, большое спасибо! Только не могу понять, для чего нужен шаблонный параметр T ? не встречал таких конструкций в аргументах функции раньше

0

07.12.2021

Anatoly Shirokov

Animal
идеально, большое спасибо! Только не могу понять,...

это тип возвращаемый вашей функцией-членом, он так же будет выведен вместе с типом самого класса U

0

07.12.2021