为什么不能将"const char*"的左值绑定到"const char* const&&?

Why cannot bind ‘const char*’ lvalue to ‘const char* const&&?

本文关键字:const char 不能 绑定 为什么      更新时间:2023-10-16

我正在做"C++Primer 5th"ex16.63和64的练习,关于这些练习的描述如下。

练习16.63:定义一个函数模板来计算给定值在向量中的出现次数。通过向程序传递一个doubles向量、一个int向量和一个字符串向量来测试程序。

练习16.64:根据之前处理向量<constchar*>和一个使用此专业化。

这是我的代码:

#include <iostream>
#include <vector>
#include <string>
// ex16_63
template<typename T>
std::size_t VecCount(const std::vector<T> &vec, const T &&val){
    std::size_t num = 0;
    for(auto i: vec){
        if(val == i) ++num;
    }
    return num;
}
//ex16_64
template<>
std::size_t VecCount(const std::vector<const char*> &vec, const char* const &&val){
    std::size_t num = 0;
    for(auto i: vec){
        if(val == i)++num;
    }
    return num;
}
int main()
{
    // ex16_63
    std::vector<int> nVec = {1, 2, 3};
    std::vector<double> dVec = {3.14, 2.24, 3.14};
    std::vector<std::string> sVec = {"hello", "python", "python"};
    std::cout << VecCount(nVec, 1) << ' '
              << VecCount(dVec, 3.14) << ' '
              << VecCount(sVec, std::string("python")) << std::endl;
    // ex16_64
    std::vector<const char*> cVec = {"world", "turing", "turing"};
    const char *p = "turing";
    std::cout << VecCount(cVec, p) << std::endl; // wrong
    //std::cout << VecCount(cVec, std::move(p)) << std::endl; // correct
    return 0;
}

编译ex16_64:时出错

error: cannot bind ‘const char*’ lvalue to ‘const char* const&&’ std::cout << VecCount(cVec, p) << std::endl;

我不明白我关于ex16_64的代码在没有std::move的情况下是错误的,而关于ex16_63的代码是正确的。

值不能绑定到右值引用。这是一般规则。因此,它适用于所有类型,包括const char*

16.63的代码之所以有效,是因为您碰巧在中传递了右值:13.14是右值,因为它们是非字符串文字。std::string("python")是一个右值,因为它是一个临时值。

另一方面,p是一个左值。

您可以试试这个:

std::cout << VecCount(cVec, std::move(p)) << std::endl;

std::move函数返回一个右值。代码运行并生成:

1 2 2
2