c ++ 0x中auto和decltype之间的区别

时间:2012-06-07 15:21:57

标签: c++ c++11 auto decltype

我遇到auto和decltype问题。

void f(const vector<int>& a, vector<float>& b)
{
    typedef decltype(a[0]*b[0]) Tmp;
    for (int i=0; i < b.size(); ++i) {
      auto p0 = new auto(a[i]*b[i]);
      auto p1 = new decltype(a[i]*b[i]);
      *p0=a[i]*b[i];
      *p1=a[i]*b[i];
      cout<<*p0<<endl;
      cout<<*p1<<endl;
      delete p0;
      delete p1;
   }
}

 int main()
{

    vector<float>vec2;
    vec2.push_back(2.0);

    vector<int>vec1;
    vec1.push_back(5);

    return 0;
}

以上代码在GCC4.7中运行良好。我可以使用'new auto(a [0] * b [0])'为[0] * b [0]的类型分配内存吗?在这种情况下,我无法区分decltype和auto之间的区别。

1 个答案:

答案 0 :(得分:19)

区别在于:

  new auto(a[i]*b[i]);

分配任何类型a[i]*b[i]的对象,使用该值初始化对象。也就是说,括号是初始化器。而使用decltype:

  new decltype(a[i]*b[i]);

分配相同类型的对象,但没有初始化程序。该对象默认初始化。

基本上decltype(...)被视为类型,而auto指定要从初始化程序推断出的类型。


C ++ 11 Style

由于new不应该被使用,除非在特殊情况下,如果由于某种原因需要这些语义,他们应该写成这样的东西:

template<typename T, typename... Args> T make_unique(Args &&...args) {
  return std::unique_ptr<T>{std::forward<Args>(args)...};
}

template<typename T> T make_unique_auto(T &&t) {
    return std::unique_ptr<T>{std::forward<T>(t)};
}

// new auto(a[i]*b[i])
auto p1 = make_unique_auto(a[i]*b[i]);

// new decltype(a[i]*b[i])
auto p2 = make_unique<decltype(a[i]*b[i])>();

此外,如果一个人习惯于普遍使用C ++ 11统一初始化,并且如果一个人停止使用括号进行初始化,那么最终与decltype一起使用的括号不再像初始化器一样向程序员看。

由于这个原因和其他原因,我认为对于'现代'C ++ 11样式来说,包含一个规则应该总是使用大括号并且从不使用括号进行初始化将是一件好事。 (应该避免使用除括号之外无法调用的构造函数,例如std::vector<int>(int,int);;不要创建新的构造函数,也不要使用遗留函数。)