Как написать функцию, которая принимает разные типы аргументов?

Question

У меня есть к классам:

template <class T> 
class shared_vector 
{ 
    T data; 
} 

template <class T> 
class device_vector 
{ 
    T data; 
} 

Я хочу, чтобы написать функцию, которая п accects любой объект, будь то типа shared_vector или device_vector и устанавливает некоторые флаги соответственно.

Теперь очевидным решением является переход на перегрузка функции. Но предположим, что функция f принимает 10 аргументов, которые могут быть либо shared_vector, либо device_vector, Мне пришлось бы написать 1024 перегруженных функции.

Другим решением является использование родительского классаhybrid_vector из которых как device_vector и shared_vector наследует от.

Но, к сожалению, код device_vector не входит в мой контроль.

Как решить эту проблему?

ПРИМЕЧАНИЕ: Я знаю, что typeid (переменная) .name() может указывать тип, но что будет объявлением моей функции и как я могу вывести из него тип?

Answer 1

Возможно, вам будет предложено принять boost::variant<shared_vector<T>, device_vector<T>>.

Другой вариант std::enable_if:

template<typename V> 
std:enable_if< 
    std::same_type<V, shared_vector<decltype(V::data)>::value | 
    std::same_type<V, device_vector<decltype(V::data)>::value , 
    void>::type 
foo(V const& vector); 

Тем не менее будет многословным, если у вас есть V1..V10, но это всего лишь 2 * 10 проверяет, не 1024. И, конечно, вы можете написать свой собственный is_device_or_shared<Vector>::value, чтобы обернуть эти 2 испытания в чем-то более читаемом.