наследование — Полиморфный подтип в переполнении стека

Я довольно новичок в C ++, и мне нужно уточнить портирование проекта с Java.

В Java я могу объявить базовый класс и его производные с обобщениями следующим образом:

public class GenericHost{
public enum HostType{
server,
client
}
public HostType type_;
}

public class MyClient extends GenericHost{
public String clientName;
}

public class MyServer extends GenericHost{
public String serverName;
}public abstract class GenericNetwork<hostType extends GenericHost> {
public enum NetworkType{
central,
peripheral
}
private NetworkType type_;
protected hostType masterHost;
public hostType getMasterHost(){
return masterHost;
}
public abstract String getName();
}

public class CentralNetwork extends GenericNetwork<MyServer>{
@Override
public String getName(){
return masterHost.serverName;
}
}

public class PeripheralNetwork extends GenericNetwork<MyClient>{
@Override
public String getName(){
return masterHost.clientName;
}
}

Это позволяет мне:

1. В производных классах мне разрешено использовать методы и переменные указанного производного класса (например, serverName / clientName в CentralNetwork / PeripheralNetwork) и не только базового класса

2. Производный класс имеет чаевые, поэтому компилятор / редактор может предложить мне каждый метод & переменная во время редактирования кода

3. Я вынужден использовать класс, производный от базового класса (GenericNetwork / GenericHost), каждая ошибка происходит во время компиляции, а не во время выполнения

4. Каждый метод / переменная, которые используют обобщенные значения, будут обрабатываться в производном классе как дочерний класс, а не как базовый класс (например, в CentralNetwork, getMasterHost вернет производное MyServerа не база GenericHost).

Я хотел бы знать, существует ли что-нибудь подобное в C ++.
Я уже искал шаблоны, наследование и подтипы, но я не могу найти способ сделать что-то умнее, как я делал в Java. Я надеюсь, что что-то пропустил …

РЕДАКТИРОВАТЬ:
Это то, что я пробовал в C ++:

class GenericHost{
public enum HostType{
server,
client
}
public HostType type_;
}

class MyClient : public GenericHost{
public String clientName;
}

class MyServer : public GenericHost{
public String serverName;
}

template<class hostType : GenericHost>             <--WISH, forced base class
class GenericNetwork {
public enum NetworkType{
central,
peripheral
}
private NetworkType type_;
protected hostType masterHost;
public hostType getMasterHost(){
return masterHost;             <--WISH, should return MyServer / Myclient in derived class
}
public virtual std::string getName();
}

class CentralNetwork<MyServer> : public GenericNetwork{
public std::string getName(){
return masterHost.serverName;             <--WISH, tiped and suggested by editor / compiler
}
}

class PeripheralNetwork<MyClient>: public GenericNetwork{
public std::string getName(){
return masterHost.clientName;             <--WISH, tiped and suggested by editor / compiler
}
}

У меня сейчас нет проекта C, поэтому я переписал его на лету, извините за любую ошибку …