模板函数和常量/非常量参考参数

Question

我是 C++ 新手，从书本上学习，所以我的推理可能相当迂腐或狭隘。

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

这意味着我认为

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

在调用 Compare(ci1, ci1) 时应该失败，因为 ci1 是 consntant 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++ 特定的运行时 lib 函数来解码。

干杯&嗯。

Answer 2

T 将是变量的任何类型 - 在您的情况下 const int，因此 compare 的最终实例化将类似于

// T = const int
int compare(const int& v1, const int& v2)

您的第一种情况compare(ci1,ci2) 与 compare(i1,i2) 类似

// T = int
int compare(int& v1, int& v2)

。

Answer 3

在第一种情况下，模板是用 T = const int 实例化的，这很好。

如果您尝试比较（i1，ci1），您将收到错误，因为它将无法找到与 int & 和 const int 兼容的模板参数&。将签名更改为 compare(const T &, const T &) 将解决该问题。

Answer 4

在比较（ci1，ci1）的情况下； T 将是 const int。这就是它起作用的原因

Answer 5

这是可以接受的，因为当您用 int const 替换 T 时，可以实例化该函数。