Проверьте, открыты ли конструкторы подкласса в C++

Question

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

template <class T> 
T* createBase(); 

template<typename T> 
class Base { 
protected: 
    template <class T> 
    friend T* createBase(); 

    static T* create() 
    { 
     return new T(); 
    } 
}; 

class TestClass1 : public Base<TestClass1> 
{ 
public: 
    TestClass1() : Base() {} 
}; 

template <class T> 
T* createBase() 
{ 
    static_assert(std::is_base_of<Base<T>, T>::value, "use the createBase function only for Base<T> subclasses"); 
    return Base<T>::create(); 
} 

На самом деле это разрешено:

TestClass2 *testClass = createBase<TestClass2>(); 
TestClass2 tester; 

Но я только хочу, чтобы это:

TestClass1 *testClass = createBase<TestClass1>(); //allowed 
TestClass1 tester; // compile error 

Конечно, я знаю, что я только должен поставить конструктор TestClass1 private или protected. Но было бы очень приятно сказать, что в объекте Base.

Edit:

ошибка компиляции, когда конструктор подкласса является публичным будет также хорошим решением. Может быть, с static_assert().

Answer 1

Вы не можете контролировать доступность конструктора из базового класса, даже с помощью CRTP.

Что вы можете сделать, это добавить static_assert в базовой CTOR проверки, что T ака производного класса не имеет общедоступный CTOR по умолчанию:

template <class T> 
class Base { 
public: 
    Base() { 
     static_assert(!std::is_default_constructible<T>::value, 
         "T must not be default constructible"); 
    } 
}; 

static_asswert не работает в области видимости класса по причинам showned здесь: CRTP std::is_default_constructible not working as expected