当类是另一个模板的模板参数时，您可以使用类模板参数推导吗？

Question

我试着写这样的代码：

#include <string>
#include <vector>
#include <utility>

using namespace std::string_literals;
int main(){
    std::vector v{1,2,3};
    std::pair p{1,"a"s};
    //std::vector<std::pair> vp{{1,"a"s}, {2, "b"s},{3,"c"s}};  // ERROR
}

但是它在pair是vector的模板参数的那一行给出了编译错误。

有没有办法让类模板推导在这里工作，还是我需要为配对指定模板参数？

Answer 1

目前不支持此功能。来自[dcl.type.class.deduct]p2：

推导的类类型的占位符也可以[在变量声明中也作为类型]在 new-type-id 的 type-specifier-seq 中使用或 new-expression 的 type-id，或作为显式类型转换（功能符号）中的 simple-type-specifier。 推导的类类型的占位符不得出现在任何其他上下文中。

从我突出显示的那句话中可以看出，由于你的使用与上面提到的任何地方都不匹配，所以你的代码格式不正确。

你可以这样做：

std::vector vp{std::pair{1, "a"s}, {2, "b"s}, {3, "c"s}};