主页 / 问题 / 1268069
Accepted
AlexGlebe
Asked:2022-04-09 20:12:10 +0000 UTC2022-04-09 20:12:10 +0000 UTC

参考&参考和*p参考？

  • 772

这个问题是由于杀死了我的回答而引起的

https://ru.stackoverflow.com/questions/1267199/What-is-used-and-looks-in-code-of-C-link-to-pointer/1267218

问题 ：

阅读 C++ 中的引用和指针 引用、指针引用是什么样的，它们在 C 中是如何使用的？

回答 ：

// обычная переменная
int i = 1 ;

// указатель
int * const p = & i ;

// ссылка
* p ;

// по ссылке присвоить значение
* p = 2 ;

我们用 来检查变量的类型，并用 来typeid创建相同类型的新变量decltype。

# include <utility>
# include <iostream>
# include <typeinfo>
int main ( ) {
    int i = 0 ;
    int * p = & i ;
    int & s = i ;
    std::cout<<"typeid(i).name()=="<<typeid(i).name()<<std::endl;
    std::cout<<"typeid(p).name()=="<<typeid(p).name()<<std::endl;
    std::cout<<"typeid(s).name()=="<<typeid(s).name()<<std::endl;
    std::cout<<"typeid(*p).name()=="<<typeid(*p).name()<<std::endl;
    // decltype(s) s2 ; // error: 's2' declared as reference but not initialized
    // decltype(*p) pp2 ; // error: 'pp2' declared as reference but not initialized
}

印刷 ：

typeid(i).name()==i
typeid(p).name()==Pi
typeid(s).name()==i
typeid(*p).name()==i

为什么编译器说*p这是一个链接，但是这个网站的所有大师都说不是。

我读了英文问题：https ://stackoverflow.com/questions/48388510/generally-is-dereference-pointer-expression-results-a-reference-type/48388647#48388647 ，什么都不懂（后来出现了）。

取消引用指针会产生一个指向类型的左值表达式，该类型指定指向的对象或函数。它不产生参考。*pi是类型的左值int。

c++

2 个回答

  1. Best Answer

    因为有两个“正交”的概念系统：

    value_category：https ://en.cppreference.com/w/cpp/language/value_category

    这个lvalue等等rvalue_

    和类型：这是reference, value,pointer

    这两个系统通过一个列表相互连接（列表在文章中，我会摘录）：

    int  i;  i - lvalue типа int
int& i;  i - lvalue типа int
int* i; *i - lvalue типа int

    左边是三种不同的类型，右边是相同的value_category

    在您的推理中，您将value_category“左值”标识为 c reference（第 2 行），这是一个错误。

    一组类似的三段论：

    Корова кушает траву
Зайчик кушает траву
Коза кушает траву

    X吃草，X是谁？你自信地说“兔子！”，虽然正确的答案是“我不知道，这三个中的一个 - 它可能是一头牛、一只兔子或一只山羊。”

    • 3

  2. 表达式永远没有引用类型。只有变量才能拥有它们。

    同样重要的是要记住它typeid忽略了引用性和 cv 限定符（即 const、volatile）。

    此外，decltype还内置了对变量的特殊处理。虽然变量名也是一个表达式，但是如果给定decltype一个变量，它会准确返回变量的类型，而不是表达式的类型。

    此外，当应用于表达式时，根据表达式的类别（分别为左值、xvalue、prvalue），为其类型添加或不添加decltype任何内容。由于表达式本身不能有引用类型，所以没有冲突。&&&

    要强制decltype将变量名称完全视为表达式，必须将其放在第二对括号中。

    考虑例子。让我们有：

    int x = 1;
int &y = x;
int *p = &x;
    编码 变量类型 表达式类型，表达式类别
    x int int, 左值
    y int & int, 左值
    *p 这不是一个变量 int, 左值
    42 这不是一个变量 int， 价值

    那么，分别：

    • decltype(x)= int（变量类型）
    • decltype((x))= int &（表达式类型int，加上&表示左值类别）
    • decltype(y)= int &（变量类型）
    • decltype((y))= int &（表达式类型int，加上&表示左值类别）
    • decltype(*p)= int &（表达式类型int，加上&表示左值类别）
    • decltype(42)= int(表达式类型int, 类别纯右值匹配没有 & 符号)
    • 3

相关问题