const成员函数返回数组名

例1：

#include<iostream>
using namespace std;
struct str
{
string a;
string b;
};

class B
{
private:
int a;
struct str s[10]; //数组名可以转换为指向其指代实体的指针，而且是一个指针常量
public:
void sets(string str,int n=10)
{
for(int i=0;i<10;i++)
{
s[i].a=str;
s[i].b=str;
}
}

//或者 cosnt str * gets() const{return s; }//第2个const表示 s被限定为const指针，所以返回类型也要求是const型。
str* gets(){ return s; }//如果是str* gets()const{return s;}则会报const *转非const *的类型错误
};

int main()
{
B b;
b.sets("hello");
str* st=b.gets();
for(int i=0;i<10;i++)
{
cout<<"a"<<i<<" "<<st[i].a<<endl;
cout<<"b"<<i<<" "<<st[i].b<<endl;
}
getchar();
return 0;
}

编译运行正确。

例2：自CSDN帖子

两个类，同样是两个const的成员函数，返回值都是int指针

但是类A实际返回的是一个数组，类B则返回的是一个指针

但是类A不能通过编译，类B可以，这是为什么？

class A
{
public:
int* f1() const
{
return m_array;
}
int m_array[10];
};

class B
{
public:
int* f1() const
{
return m_point;
}
int* m_point;
};

和上例一样的效果。

原因：

在 A 的 const 函数里, m_array 的类型是 int const [10], 即 const int *

在 B 的 const 函数里, m_point 的类型是 int * const.

即一个指向的类型是 const 的, 一个是指针本事是 const 的.

指向的类型不同的指针是不能互相转换的.

A中函数返回数组 而且是const函数 说明这个数组成员返回时被限定为const 返回数组时是返回数组的首地址 而且这个首地址是不变的 这就意味着返回的指针本身是const 它所指向的对象也是const 即实际返回类型应为const int* const

  B中函数返回一个成员指针 而且也是const函数 说明这个成员指针本身被限定为const 注意 只是它本身被限定 它所指向的对象就不保证被限定为const 所以它实际应返回 int* const

  根据C++标准 指向const对象的指针不能给指向非const对象的指针初始化和赋值 而你指定的返回类型都为int* 即非const指针 函数返回时要用实际被返回的内容初始化返回值 这里问题就出来了 前者实际需要返回指向const对象的指针 而你指定了返回类型为指向非const对象的指针 这里就违背了C++标准 而后者实际返回的指针本身为const 但它所指向的对象为非const 所以它可以初始化返回值..