3

Есть функция, которая использует один из двух классов потомков и вызывается через std::thread(MyFunc, std::ref(SpecifiedClassType)).detach();
У класса-родителя нет некоторых методов потомков, поэтому объявлять объекты потомков типом родителя не вариант.

Можно ли как-то указать какие именно классы могут быть переменной в этой функции, или кроме template<class T> вариантов нет?

Пояснение:

Есть класс Capture у которого два потомка - Camera и Screen. Назначение этой системы - получение кадров с камеры или скриншотов экрана - и более ничего (сети там быть не должно). У родителя есть общая для потомков функция GrabJPG, которая вызывается во внешней функции, в потоке. Я хочу, чтобы та функция MyFunc, что я упомянул в начале темы, выглядела примерно так:

void StreamThread(STREAMER &cgf, <только_тип_Camera_или_Screen> &source){
    // где cfg - структура с параметрами сетевой конфигурации,
    // а source - источник кадров - камера или экран.
    // ...
    cgf.connection->open(cgf.host, cgf.port)
    // ... туда-сюда настройки
    while (cgf.connection->active()){
    // ...
        int size = source->GrabJPG(&buffer);
        if( size){ cgf.connection->transmit(buffer, size); }
    // ...
    }
}

Сейчас у меня два таких абсолютно одинаковых StreamThread-а, различающихся только одной переменной - классом камеры или экрана. Не красиво, согласитесь? Должна быть ошибка компиляции, если попытаться засунуть в функцию любой другой класс, не являющийся потомком Capture. Вот, что требуется.

11
  • Предлагаю посмотреть на абстрактные методы.
    – Qwertiy
    13 дек 2017 в 14:47
  • 1
    Возможный дубликат вопроса: Шаблоны в C++ Ограничение типа 13 дек 2017 в 14:48
  • Т.е. у всех потомков метод есть, а у родителя - нет? А почему бы тогда не сделать, как говорит @Qwertiy? А если метод есть только у некоторых потомков, которые используются в функции - то имеет смысл сделать промежуточный класс с данным методом... По-моему, так...
    – Harry
    13 дек 2017 в 16:46
  • Ничего не понятно. О какой "этой функции" идет речь? Об std::thread или о той, откуда это все вызывается? Откуда и к чему тут template<class T>? Приводите осмысленный контекст, а не какую-то кашу-размазню. 13 дек 2017 в 17:07
  • @AnT, шаблонная функция использует какую-то функцию. Он хочет ограничить шаблонный класс теми классами, у которых эта функция есть. Вроде всё понятно?
    – Qwertiy
    13 дек 2017 в 18:08

1 ответ 1

3

Есть несколько подходов к решению подобной проблемы:

Явное инстанцирование

+ Определения для обоих вариантов StreamThread будут сгенерированы автоматически на основе общего шаблонного кода с помощью директив явного инстанцирования (в том файле, где эти директивы будут указаны).

+ (C++11 и выше) Неявное инстанцирование шаблона функции StreamThread для шаблонных аргументов Camera и Screen можно запретить во всех единицах трансляции, куда будет подключен заголовочный файл StreamThread.h.

При попытке скомпилировать функцию StreamThread со значением шаблонного аргумента, отличного от Camera или Screen, будет выдана ошибка линковки (а не компиляции).

// StreamThread.h

template <typename Source>
void StreamThread(SREAMER &cgf, Source &source);

extern template void StreamThread(SREAMER &cgf, Camera &source); // C++11 и выше

extern template void StreamThread(SREAMER &cgf, Screen &source); // C++11 и выше


// StreamThread.cpp

template <typename Source>
void StreamThread(SREAMER &cgf, Source &source)
{
    // ...
}

template void StreamThread(SREAMER &cgf, Camera &source);

template void StreamThread(SREAMER &cgf, Screen &source);

Ограничение множества типов, которые могут использоваться в качестве аргумента шаблона, с помощью SFINAE

При использовании данного подхода будут выдаваться ошибки компиляции в случае несовпадения аргумента шаблонной функции с Camera или Screen.

// StreamThread.h

#include <type_traits>

template <typename Source>
std::enable_if_t<std::is_same_v<Source, Camera> || std::is_same_v<Source, Screen>>
    StreamThread(SREAMER &cgf, Source &source)
{
    // ...
}

+ При попытке скомпилировать функцию StreamThread со значением шаблонного аргумента, отличного от Camera или Screen, будет выдана ошибка компиляции (о том, что нужная перегрузка функции StreamThread не найдена).

Шаблон функции StreamThread будет неявно инстанцирован во всех единицах трансляции, куда подключен заголовочный файл StreamThread.h и где происходит вызов функции StreamThread.

Комбинированный подход

Объединяет два предыдущих варианта и совмещает в себе их плюсы.

// StreamThread.h

#include <type_traits>

template <typename Source>
std::enable_if_t<std::is_same_v<Source, Camera> || std::is_same_v<Source, Screen>>
    StreamThread(SREAMER &cgf, Source &source);

extern template void StreamThread(SREAMER &cgf, Camera &source); // C++11 и выше

extern template void StreamThread(SREAMER &cgf, Screen &source); // C++11 и выше

// StreamThread.cpp

template <typename Source>
std::enable_if_t<std::is_same_v<Source, Camera> || std::is_same_v<Source, Screen>>
    StreamThread(SREAMER &cgf, Source &source)
{
    // ...
}

template void StreamThread(SREAMER &cgf, Camera &source);

template void StreamThread(SREAMER &cgf, Screen &source);
3
  • Не подскажете как это всё вызвать в потоке? У меня ошибку выдаёт error: no matching function for call to std::thread::thread(<unresolved overloaded function type>, STREAMER&, Screen&) if(!SCREEN.active){std::thread(StreamThread, SCREEN, (*screen)).detach();}
    – Iceman
    20 дек 2017 в 22:26
  • 1
    @Iceman Во-первых, Вам необходимо явно указать, какую специализацию StreamThread Вы хотите использовать в качестве функции потока. Во-вторых, аргументы функции потока, которые передаются по ссылке, должны оборачиваться в std::ref/std::cref при передаче в конструктор std::thread: пример. 20 дек 2017 в 23:51
  • Отлично! Всё заработало! Спасибо Вам огромное!
    – Iceman
    21 дек 2017 в 6:51

Ваш ответ

Нажимая на кнопку «Отправить ответ», вы соглашаетесь с нашими пользовательским соглашением, политикой конфиденциальности и политикой о куки

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.