如何对多个模板参数使用用户定义的演绎指南?[副本]

我可以考虑三种方法。

template <typename T, typename A>
struct Hello {
  Hello(T x) : x(x) {}
  T x;
  A y;
};

// Approach 1: use type aliases
// Requires at least c++-11

template <typename A>
using HelloInt = Hello<int, A>;

// Approach 2: use function factories

template <typename A>
Hello<int, A> make_hello_int(int i) {
    return Hello<int, A>(i);
}

// Approach 3: use template partial deduction

template <typename A, typename T>
Hello<T, A> make_hello(T i) {
  return Hello<T, A>(i);
}

int main() {
  // `auto` requires at least c++-11
  auto k = HelloInt<float>(1);
  std::cout << k.x << std::endl;
  std::cout << make_hello_int<float>(2).x << std::endl;
  std::cout << make_hello<float>(3).x << std::endl;
  return 0;
}

在C++ 11中,模板参数不能由构造函数调用推断。在C++ 17中,它可以,但在您的情况下不是很有用,因为只允许完整的模板专精。