Блог

У меня есть следующий код

 template< typename T>
struct S{
     T x,y;
     S(T a, T b) : x(a) , y(b) {}
};

using Di = S<int>;
using Dd = S<double>;

auto foo(Dd d){
          ..........
}
  

Теперь я сомневаюсь: предположим, я вызываю foo() с параметром типа Di , тогда это ошибка неправильного ссылочного типа.

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

Вы можете сделать функцию шаблоном:

 template<typename T>
auto foo(S<T> d){
  // ...
}
  

Теперь вы можете вызывать foo с любым экземпляром S .

Если вы хотите ограничить шаблон функции, чтобы он принимал экземпляры только S с помощью int или double , вы можете выполнить эту проверку внутри функции:

 
template<typename T>
auto foo(S<T> d){
  static_assert(std::is_same_v<T, int> || std::is_same_v<T, double>);
  // ...
}