которого объявлен enum, также дан template в котором используется enum из инстацированного класса. Как в текущих стандартах (с++11 и выше) должна выглядеть подобная конструкция? И возможно ли она вообще?
class DEF {
public:
enum LockType {
LOCK_READ,
LOCK_WRITE,
LOCK_READWRITE
};
void lock(LockType lock) {}
void unlock() {}
};
template <class T> class ABC
{
public:
ABC(T* obj, T::LockType lock) : m_obj(obj) {
obj->lock(lock);
}
~ABC() {
m_obj->unlock();
}
private:
T* m_obj;
};
int main() {
DEF *def = new DEF();
ABC<DEF> abc(def, DEF::LOCK_READ);
}
Это CRTP называется, всё валидно
А почему это crtp?
Ну ладно, без наследования, но суть-то та таже, не совсем понимаю в чём вопрос. Просто зависимый тип берётся из аргумента шаблона
У зависимого типа в аргументе есть внутренний enum. В шаблоне как раз он и используется, но в самом шаблоне он не объявлен. Сейчас компилятор выдает ошибку error-type на аргумент T::LockType lock в конструкторе шаблона.
https://godbolt.org/z/v9Er9xev6
Обсуждают сегодня