c++ - 模板函数和 Const/NonConst 引用参数

Question

C++ 新手和从书本上学习，所以我可以在推理时非常迂腐或目光短浅。

在模板函数的情况下，我读到当参数通过引用传递时，只允许从引用/指针到非 Const 到引用/指针到 Const 的转换。

这意味着我相信

template <typename T> int compare(T&, T&);  

当调用 compare(ci1, ci1) 时应该会失败，ci1 是 constant int，因为引用参数不允许从 Const 到 NonCost 的转换。

但是它在我的编译器(Visual C++ 10)中有效。有人可以解释我哪里错了吗？

---

template <typename T> int compare(T&, T&);  

template <typename T> int compare(T &v1,  T &v2)
{
    // as before
    cout << "compare(T, T)" << endl;
    if (v1 < v2) return -1;
    if (v2 < v1) return 1;
    return 0;
}


const int ci1 = 10;
const int ci2 = 20;

int i1 = 10;
int i2 = 20;

compare(ci1, ci1);     
compare(i1, i1);  

Answer 1

电话

compare( ci1, ci1 );

产生 const int 类型的 T(以您喜欢的表示法)。

有效的函数签名是

int compare( int const&, int const& )

您可以使用 typeid(x).name() 检查您实际拥有的类型。

注意:使用 g++ 会产生一些无法理解的短格式，然后您需要使用特定于 g++ 的特殊运行时库函数对其进行解码。

干杯。