c++ - 错误: Cannot use parentheses when declaring variable with deduced class template specialization type

Question

下午好!有人可以解释为什么使用仅传递一个 vector 的函数时会发生错误吗？

嗯，也就是说，您可以轻松地传输常量:3、“asdf”2.3 等，但命名变量则不然。但由于某种原因，杂交是可能的。为什么这突然成为可能？

#include <iostream>
#include <vector>

template<typename... Args>
struct func
{
  func(const Args&... args)
  {
    std::cout << "ok" << std::endl;
  }
};

template <typename... Args>
func(Args...) -> func<Args...>;

int main() 
{
  const std::vector<int> v { 1, 2, 3 };
  func(v);      // error is here
  func(v, 3);   // no error
  func("asdf"); // no error
}

错误:使用推导的类模板专门化类型声明变量时无法使用括号

示例:https://godbolt.org/z/jdnce5Gdv

Answer 1

clang 的错误消息非常具体 - g++ 和 vc++ 仅提示 v 的声明冲突 - 但请注意，它说“声明一个变量”。

由于 func 是一种类型，并且您可以在变量声明中的标识符周围使用括号，并且由于“如果它可以被解释为声明，那么它就是 声明”规则，

func(v);

相当于

func v;

声明 func 类型的变量 v。

以下是相同情况的简短示例:

#include <vector>

int main() {
    int v = 0;
    std::vector<int>(v);
}