不允许向量<auto>吗？(错误："自动"的使用无效)

Question

我有：

#include <cstdlib>
#include <vector>
using namespace std;
int main()
{
   auto a = -SOME_CONST_MAX;
   vector<auto> myVec {a, a, a, a};
}

我不知道SOME_CONST_MAX的类型，但我想制作一个-SOME_CONST_MAX类型的向量。我认为vector<auto>会起作用，因为它会从a类型推断出来.

我正在运行这些错误： g++ -std=c++14 main.cpp

main.cpp:9:9: error: invalid use of ‘auto’
  vector<auto> myVec {a, a, a, a};
         ^
main.cpp:9:13: error: template argument 1 is invalid
  vector<auto> myVec {a, a, a, a};
             ^
main.cpp:9:13: error: template argument 2 is invalid
main.cpp:9:32: error: scalar object ‘myVec’ requires one element in initializer
  vector<auto> myVec {a, a, a, a};
                                ^

vector<auto>不允许吗？我做错了什么？

Answer 1

我发现Slava的解决方案非常简单而优雅

vector<decltype(a)> myVec {a, a, a, a};

但只是为了展示另一种方式，您可以使用variadic模板函数

template <typename T, typename ... Ts>
std::vector<T> getVect (T const & t, Ts const & ... ts)
 { return { t, ts... } ; }

您可以再次使用 auto

auto myVec = getVect(a, a, a, a, a);

Answer 2

如果我

没记错的话，已经提出了vector<auto>语法的建议。 它们不被C++标准委员会接受。

C++17 将介绍类似 std::vector bob = {a,a,a,a}; 的东西。 注意缺乏<auto>。 这可能只是语言功能，在后面std实际使用。

auto也会添加到模板中，但auto始终是值而不是类型。 因此，使用 auto 替换类型被认为是一个坏主意。

以下是模板中auto的用法：

template<auto x>
using constant_t=std::integral_constant<decltype(x),x>;
template<auto x>
constexpr constant_t<x> constant{};

现在constant<7>是一个std::integral_constant<int,7>. 出于多种原因，这被认为是有用的。

使用当前C++的实际问题的答案是：

auto a = -SOME_CONST_MAX;
std::vector<decltype(a)> myVec {a, a, a, a};

我们推断a的类型并将其传递给vector.