разница между auto и decltype в c++0x

У меня проблемы с 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])" для выделения памяти для типа a[0]*b[0]? И я не могу отличить разницу между decltype и auto в этом случае.

15
auto c++ c++11 decltype

1 ответов

разница в том, что это:

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

выделяет объект любого типа a[i]*b[i] и инициализирует объект с этим значением. То есть скобки являются инициализаторами. При использовании decltype:

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

выделяет объект того же типа, но нет инициализатора. Объект инициализируется по умолчанию.

в принципе decltype(...) рассматривается как тип, в то время как auto задает тип выведено из intializer.

Стиль C++11

С 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);, следует избегать; Не создавайте новые и не используйте устаревшие.)

19