Наследование класса шаблона в C++ с неподдерживаемым типом

Question

У меня есть шаблон Base класс, который я хочу наследовать. Класс Base имеет общедоступный метод, который делает допущение о типе шаблона. Упрощенная версия кода приведена ниже:

#include <iostream> 

using namespace std; 

template <typename V> 
class Base { 
public: 
    virtual void print() { 
    a = "a"; 
    cout << "Base class" ; 
    } 
    void callIt() { 
    print(); 
    } 
    V a; 
}; 

class Derived : public Base<int> { 
public: 
    void print() override { 
    cout << "Derived class\n"; 
    } 
}; 


int main() { 
    Derived d; 
    d.callIt(); 
    return 0; 
} 

Компиляция кода с GCC 6.2.0 дает мне эту ошибку:

test.cpp: In instantiation of 'void Base<V>::print() [with V = int]': 
test.cpp:13:10: required from 'void Base<V>::callIt() [with V = int]' 
test.cpp:28:12: required from here 
test.cpp:9:7: error: invalid conversion from 'const char*' to 'int' [-fpermissive] 
    a = "a"; 
    ~~^~~~~ 

Я хочу, чтобы полностью скрыть реализацию Base класса метода print() из компилятора. Как я могу это сделать?

EDIT: Как ни странно, закомментировать строку a = "a"; позволяет код успешно компилируется и напечатает Derived class.

Answer 1

Поскольку ваш print является виртуальным, его необходимо создать при каждом наследовании от Base (поскольку компилятор должен сгенерировать правильный vtable), даже если функция еще не вызывается. Это было бы не так, если бы print был не виртуальным членом - в этом случае он был бы создан только при вызове.

Единственное решение, о котором я могу думать, это посмотреть, можете ли вы избавиться от виртуальных функций здесь - и если вы не можете, извините, вам не повезло.

Answer 2

Можно получить код работает, если вы добавите специализацию Base<int>::print() до объявления Derived:

#include <iostream> 

using namespace std; 

template <typename V> 
class Base { 
public: 
    virtual void print() { 
    a = "a"; 
    cout << "Base class" ; 
    } 
    void callIt() { 
    print(); 
    } 
    V a; 
}; 

template <> 
void Base<int>::print() { 
    cout << "Specialization\n"; 
} 

class Derived : public Base<int> { 
public: 
    void print() override { 
    cout << "Derived class\n"; 
    } 
}; 


int main() { 
    Derived d; 
    d.callIt(); 
    return 0; 
} 

Live Demo

Будьте осторожны, делая это, хотя: она нарушает предположения, автор Base сделал о какие типы работают с шаблоном, и могут легко привести к ошибкам, затрудняющим отслеживание в библиотечном коде.

Answer 3

Упрощая изолировать проблему:

template <typename V> 
class Base { 
public: 
    virtual void print() { 
    a = "a"; 
    } 

    V a; 
}; 

int main() 
{ 
    Base<int> b; 
} 

приводит:

<source>:5:7: error: invalid conversion from 'const char*' to 'int' [-fpermissive] 
a = "a"; 

Это происходит потому, что мы, в сущности, говоря:

int a = "a"; 

и, конечно же, что это ошибка, потому что вы не можете назначить const char*int.

Итак, единственный разумный вывод, который следует сделать здесь, состоит в том, что Base<T> был разработан с ограничением, что должно существовать доступное преобразование от const char* до T.

Если вы хотите, чтобы T был чем-то другим, тогда этот базовый класс не подходит, и вам нужно будет найти другой способ добиться того, чего вы хотите (инкапсуляция?).