Question

我创建了以下结构：

template<class T>
struct not_equals
{
  not_equals(T d):data(d){};
  bool operator()(T const & in)
  {
    return data != in;
  }
  T data;
};

我的期望是，因为我需要将具体类型d的某些值传递给构造函数，所以模板参数T将从d的类型推导出来。

然而，这不会发生。

not_equals('0'); // fails with 'missing template arguments'
char zero = '0';
not_equals(zero); // same as above
not_equals<char>('0'); // compiles without errors

编译器无法识别模板参数类型的原因是什么？

Answer 1

c ++ 17将允许class template deduction

在此之前，您可以创建一个“make”功能：

template <class T> auto make_not_equals(const T& d) -> not_equals<T>
{
  return {d};
}

auto z = make_not_equals('0');

这是make函数的C ++ 03版本：

template <class T> not_equals<T> make_not_equals(const T& d)
{
    return not_equals<T>(d);
}

不幸的是，当您声明变量时，由于缺少auto功能，您需要使用模板拼写整个类型，但make函数在推导的上下文中仍然有用，例如参数：

template <class T> void foo(not_equals<T> ne);

void test()
{
   foo(make_not_equals('0'));
}

模板参数演绎困惑

1 个答案: