在C++中限制“auto”不是违背了它的目的吗？

Question

auto something(){
  return 1;
}

int main(){
  const auto x = something();
  return x;
}

std::integral auto something(){
  return 0;
}

int main(){
  const auto x = something();
  return x;
}

Answer 1

对导出的auto类型的约束并不意味着它必须是特定的类型，而是意味着它必须是满足约束的一组类型之一。请注意，约束和类型不是一回事，它们是不可互换的。

例如，像std：：integral这样的概念将推导的类型限制为整型，例如int或long，但不是float或std：：string。

如果我真的需要std::integrate数据类型，难道我不能完全省略auto吗？

foo f = // ...

foo是类型还是对类型的约束？

而在当前语法中，我们有

foo auto f = // ...

毫无疑问，foo是对F类型的约束。