文章目录

  • 前言
  • 分解需求
  • 举一反三
  • 进行对比
  • 总结


前言

编程语言最怕细节,怼着一个点扣能让你怀疑人生,今天就碰到这么一个问题,“C++定义一个返回值为拥有3个元素的 char 数组引用的函数”,不敢说99%的人不会,但我觉得应该有80%的人写不出来吧,要不你来试试。

分解需求

首先得能看出来这是要求定义一个函数,如果这一步就错了,那就没必要往后走了,函数有的参数没有要求,但是返回值得是一个引用,这个引用的原始类型应该为一个拥有3个元素的char类型数组,难道要这样写?

char& [3] func()
{
	//...
}

试试吧,肯定编不过的,要是这么容易就哪能让人死去活来,直接给答案了

#include <iostream>

const char (&getCharArray())[3] {
    static const char charArray[3] = {'A', 'B', 'X'};
    return charArray;
}

int main() {
    const char (&result)[3] = getCharArray();
    
    for (char c : result) {
        std::cout << c << " ";
    }
    
    return 0;
}

举一反三

学习要学会举一反三,把题目中的“引用”换成“指针”,再试一下,依葫芦画瓢还是很容易的

#include <iostream>

char (*getCharArrayPointer())[3] {
    static char charArray[3] = {'A', 'B', 'J'};
    return &charArray;
}

int main() {
    char (*result)[3] = getCharArrayPointer();
    
    for (int i = 0; i < 3; ++i) {
        std::cout << (*result)[i] << " ";
    }
    std::cout << std::endl;
    
    return 0;
}

仿佛这也不是我们常常见到的形式,对于指针作为返回值,我们常见到的应该是下面这种

#include <iostream>

char* getCharArrayPointer() {
    static char charArray[10] = {'H', 'e', 'l', 'l', 'o', ' ', 'W', 'o', 'r', 'l'};
    return charArray;
}

int main() {
    char* result = getCharArrayPointer();
    
    for (int i = 0; i < 10; ++i) {
        std::cout << result[i];
    }
    std::cout << std::endl;
    
    return 0;
}

他们有什么区别呢?我们从定义层面来对比一下:

进行对比

  • const char (&result)[3] = getCharArray();
  • result 是一个引用类型变量,被引用的类型为 char[3]
  • sizeof(result) == 3
  • char (*result)[3] = getCharArrayPointer();
  • result 是一个指针类型变量,指向的类型的类型为 char[3]
  • sizeof(result) == 8
  • result++ 先后移动24个字节=8*3
  • char* result = getCharArrayPointer();
  • result 是一个指针类型变量,被引用的类型为 char
  • sizeof(result) == 8
  • result++ 先后移动8个字节=8*1

有了上面的对比就可以根据区别来选择定义什么样的返回值,使用引用类型能取到被引用变量的原始大小,使用指针要注意移动的步长。

总结

  • 定义一个返回定长数组引用的函数 const char (&getCharArray())[3] { //... }
  • 定义一个返回定长数组指针的函数 const char (*getCharArray())[3] { //... }
  • 引用不需要内存分配和释放,因为它只是目标对象的别名(存疑,在绝大多数编译器中,引用在底层是通过指针来实现的,但GPT嘴硬说不需要,表示需要继续探索)

引用在底层通过指针实现时,并不需要额外的内存分配。引用被设计为变量的别名,它并不占用额外的内存空间。引用在编译器生成的汇编代码中,会被处理为指向原始对象的指针,但是这个指针对于用户来说是透明的,不需要分配额外的内存来存储引用本身。
引用只是目标对象的别名,与指针不同,它没有自己的内存存储空间。因此,无论引用在底层是通过指针实现还是其他方式实现,都不会导致额外的内存分配。这也是为什么引用在使用上更接近于对变量的直接访问。
需要注意的是,尽管引用不需要额外的内存分配,但指针本身需要存储指向对象的地址,因此指针会占用一定的内存空间。这也是引用和指针之间的一个重要区别。


内练一口气,外练筋骨皮