C ++ Передача аргумента шаблона через несколько функций

Question

Рассмотрим эти строки кода.Когда я пытаюсь скомпилировать, компилятор покажет ошибки типа 'a' is not a member of 'DataType1'.Я понимаю, как компилятор обрабатывает их как ошибки, но есть ли способ избежать этого или другого метода, который работает?

struct DataType1 { public: int x; };
struct DataType2 { public: int a; };

template <class E>
bool job2(E* newData, const int i){
  int something = 2;  
  if (i == 1) newData->x = something;
  if (i == 2) newData->a = something;
}

template <class E>
bool job1(List<E>* dataBase){
  E* newData = new E;
  job2(newData, 1);
  dataBase->push_back(newData);
}

template <class E>
int main(){
  List<DataType1>* dataBase = new List<DataType>;
  job1(dataBase);
}

Answer 1

Если у вас есть C ++ 17, вы можете написать:

template <class E>
bool job2(E* newData){
  int something = 2;  
  if constexpr (std::is_same_v<E, DataType1>) 
     newData->x = something;
  else 
     newData->a = something;
}

и полностью отказаться от i (если вы использовали его только для различения типов).

В противном случаеЧто спорит против простой перегрузки вашей функции?

bool job2(DataType1* newData){
  commonOperation();
  newData->x = something;
}

bool job2(DataType2* newData){
  commonOperation();
  newData->a = something;
}

, где commonOperation - это все, что имеют общие функции.