Подскажите, как в шаблоне указать каким именно классом должен быть

Question

Подскажите, как в шаблоне указать каким именно классом должен быть

тип? Например, у меня есть класс A с методом func(), я хочу создать шаблонную функцию, которая будет принимать объекты этого класса либо наследуемые от него, так что я смогу вызывать функцию func()

#c #embedded #programming #russian

0

26.09.2021

15 ответов

22 просмотра

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

anton
может как то так: #include <type_traits> struct A ...

спасибо за ответ

0

26.09.2021

Ilya Zviagin

Это не надо контролировать, вся прелесть шаблонов в том, что они работают со всем, что под шаблон подходит. Если оно может кракать, то нам все равно, что это не утка.

0

26.09.2021

Ilya Zviagin

Если C++ 20, то это можно сделать концертами.

0

26.09.2021

Ofee Oficsu

А func() должна вызываться у наследника или у базы?

0

26.09.2021

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

Ofee Oficsu
А func() должна вызываться у наследника или у базы...

func() наследника

0

26.09.2021

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

Ilya Zviagin
Это не надо контролировать, вся прелесть шаблонов ...

А если я передам int? Получается, что никаких проверок от самого языка не существует?

0

26.09.2021

Ofee Oficsu

adel
func() наследника

Для этого лучше подходят виртуальные функции Но в ином случае: void foo(std::derived_from<A> auto&& a) { std::forward<decltype(a)>(a).func(); } Аналогичный код на C++17 и ниже переписывается довольно просто и прямолинейно с помощью enable_if

0

26.09.2021

Ilya Zviagin

adel
А если я передам int? Получается, что никаких пров...

Существует если тот класс не подойдет, оно не скомпилируется

0

26.09.2021

Антон 🇦🇲

Ilya Zviagin
Это не надо контролировать, вся прелесть шаблонов ...

Это разве прелесть?

0

26.09.2021

Антон 🇦🇲

Ilya Zviagin
Существует если тот класс не подойдет, оно не ско...

Как ты лёгким движением руки проигнорировал SFINAE

0

26.09.2021

Ilya Zviagin

Антон 🇦🇲
Это разве прелесть?

Нет это данность

0

26.09.2021

Ilya Zviagin

Антон 🇦🇲
Как ты лёгким движением руки проигнорировал SFINAE

Ну оно не обязательно

0

26.09.2021

Yurij horssyyy

Антон 🇦🇲
Как ты лёгким движением руки проигнорировал SFINAE

А при чем тут оно?

0

26.09.2021

Антон 🇦🇲

Yurij horssyyy
А при чем тут оно?

При том, что "если класс не подойдёт, то не скомпилируется" — это немного не так, как работает C++

0

26.09.2021

anton · Accepted Answer

anton

может как то так: #include <type_traits> struct A {}; struct B : A {}; struct C {}; template<class T> void fn() { static_assert(std::is_base_of<A,T>::value, "not A subtype"); } int main() { fn<A>(); fn<B>(); fn<C>(): // assertion failed }

0

26.09.2021

170 похожих чатов

Подскажите, как в шаблоне указать каким именно классом должен быть

15 ответов

Похожие вопросы