Специализация шаблона для всех наследников класса

@axefizik · Регистрация: 18.07.2012

Здравствуйте,
есть такой код:

C++ (Qt)

#include <iostream>
#include <string>
 
using namespace std;
 
class A {};
class B: public A {};
 
class C
{
public:
    template<typename T>
    static void f(const T&);
};
 
template<typename T>
void C::f(const T&)
{
    cout << "template T" << endl;
}
 
template<>
void C::f(const A&)
{
    cout << "A" << endl;
}
 
int main()
{
    string str = "str";
    int i = 5;
    A a;
    B b;
    C::f(i);
    C::f(str);
    C::f(a);
    C::f(b);
 
    return 0;
}

он выводит:
template T
template T
A
template T

т.е. при вызове

C++ (Qt)

C::f(b);

он вызывает

C++ (Qt)

1 2	template<typename T> void C::f(const T&)

а мне бы хотелось чтобы был вызван

C++ (Qt)

1 2	template<> void C::f(const A&)

Я понимаю почему это происходит, но мне нужен какой-нибудь хак чтобы это обойти.

С другой стороны теоретически можно внутри

C++ (Qt)

1 2	template<typename T> void C::f(const T&)

в рантайме определять, что пришло и как с этим работать, но тут есть проблема.
Я пытался использовать dynamic_cast, но компилятор ругается, что не может использовать dynamic_cast для попытки преобразования int* в A*.

Буду благодарен всем Вашим советам.

notAll · 14.11.2017, 00:31

Специализация тут вряд ли поможет. А вот через SFINAE можно как то так:

C++

#include <iostream>
#include <string>
#include <type_traits>
 
using namespace std;
 
class A {};
class B: public A {};
class E: public B {};
class NotA: private A {};
 
class C
{
    template <typename T>
    static constexpr bool isA = std::is_base_of_v<A, T> && std::is_convertible_v<T, A>;
 
public:
 
    template <typename T, std::enable_if_t<!isA<T>>* = nullptr>
    static void f(const T&)
    {
        cout << "template T" << endl;
    }
 
    template <typename T, std::enable_if_t<isA<T>>* = nullptr>
    static void f(const T&)
    {
        cout << "A" << endl;
    }
};
 
 
int main()
{
    string str = "str";
    int i = 5;
    A a;
    B b;
    NotA na;
    E e;
    C::f(i);
    C::f(str);
    C::f(a);
    C::f(b);
    C::f(na);
    C::f(e);
}

Добавлено через 20 минут
Или более упрощенно:

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

C++

template <typename T>
constexpr bool isA = std::is_base_of_v<A, T> && std::is_convertible_v<T, A>;
 
template <typename T>
auto f(const T&) -> std::enable_if_t<!isA<T>, void> // void - станет возвращаемым типом функции
{
    std::cout << "Template\n";
}
 
template <typename T>
auto f(const T&) -> std::enable_if_t<isA<T>, void>
{
    std::cout << "A\n";
}

Опции темы

Специализация шаблона для всех наследников класса

Решение