标准对的模板参数推断

Question

在下面的代码中，X x1{{100,5.55}, "abc"} 编译失败（“候选模板被忽略：无法推断模板参数 'T1'”）。 我认为这是因为模板推导不考虑隐式转换，因此编译器不会将第一个参数视为 std::pair。

有什么方法可以使X x1{{100,5.55}, "abc"} 语法起作用吗？我想避免在参数中显式使用 std::pair，因为我正在重构一个大型代码库，该表达式在许多地方都使用。
（在当前代码中，构造函数没有模板化，因为它使用 std::variant 创建了一个综合类，该类使用 int、double、std::string 等的隐式构造函数来处理多种类型。我正在尝试替换这个类使用保留底层数据类型的模板化构造函数，以提高类型安全性。）

#include <utility>

struct X
{
template <class T1, class T2> X(std::pair<T1,T2>, const char*){}
};

int main()
{  
  X x{std::pair{100,5.55}, "abc"};  // OK
//  X x1{{100,5.55}, "abc"};        // Compile error
}

Answer 1

我没有完美的解决方案，但如果我足够了解您的约束，那么如果新代码需要显式使用 std::pair{} 并没有什么大不了的，但旧代码必须保持兼容。

引入一个简单的兼容性struct 和（ab）使用聚合初始化来提供构造函数重载怎么样？

#include <utility>
#include <iostream>

struct X
{
    template <class T1, class T2> X(std::pair<T1,T2>, const char*)
    {
        std::cout << __PRETTY_FUNCTION__ << '\n';
    }

    struct LegacyPair
    {
        int a;
        double b;
    };

    X(LegacyPair p, const char* text) :
        X(std::pair{p.a, p.b}, text)
    {}
};

int main()
{
    X x1{std::pair{100,5.55}, "abc"};
    X x2{{100,5.55}, "abc"};
    //X x3{{3.14,5}, "abc"}; // error
    X x4{std::pair{3.14,5}, "abc"};
}

这个输出：

• X::X(std::pair<_T1, _T2>, const char*) [with T1 = int; T2 = double] 为x1
• X::X(std::pair<_T1, _T2>, const char*) [with T1 = int; T2 = double] 为x2
• x3 的错误（比意外构造 std::pair<int, double> 好）。因为{}在这里是聚合初始化，所以不允许隐式转换，所以这个重载被丢弃了。哪个好！
• X::X(std::pair<_T1, _T2>, const char*) [with T1 = double; T2 = int] 为x4