为什么是对的隐式转换 <int64_t,int64_t> 配对 <int,int> 允许？

Question

我注意到一些情况，其中std :: pair将被隐式转换为不同类型的std :: pair而没有警告，但我无法弄清楚为什么。 我已经查看了std :: pair的构造函数，但无法弄明白。 有人可以向我解释一下吗？

例：

 std::pair<int,int> a = std::pair<int64_t, int64_t>(1,2);

clang -Wall -Weverything不会发出任何警告。

Answer 1

构造函数

template<class U, class V> pair(const pair<U, V>& p);

允许从任何对复制，前提是p的第一个元素可以转换为正在构造的对的第一个元素，对于第二个元素也是如此。