C++如何让类方法返回指向const数组的指针且禁止外部修改

1. 为何返回const SomeClass**仍可修改数组元素 #

C++中const修饰符的约束范围是从右往左生效的，const SomeClass**的语义仅为「指向const SomeClass类型指针的指针」，只限制了不能通过该指针修改指向的SomeClass实例，并没有限制对数组中指针元素本身的赋值操作。也就是说外部拿到指针后，可以修改数组中每个指针的指向，只是不能通过这些指针修改对应的SomeClass对象，这就是示例中非法赋值能通过编译的核心原因。

2. 为何给方法加const修饰会编译报错 #

当类成员方法加const修饰后，方法内部访问的所有成员变量都会自动被加上顶层const约束。你的成员数组const SomeClass* someClassArray[3]在const方法中，实际类型会变为const SomeClass* const someClassArray[3]，退化为指针时类型为const SomeClass* const *，和你声明的返回值const SomeClass**类型不匹配，因此编译报错。

方案1：修改返回值类型（最直接） #

将返回值类型调整为const SomeClass* const *，该类型的语义是「指向const SomeClass类型的const指针的指针」，既限制外部修改SomeClass实例，也限制外部修改数组元素的指向，完全符合需求。同时此时给方法加const修饰也不会出现类型不匹配问题。
修改后的完整代码示例：

class SomeClass{};

class AnotherClass
{
public:
    SomeClass c1;
    SomeClass c2;
    SomeClass c3;
    const SomeClass* someClassArray[3] = { &c1, &c2, &c3 };
    
    const SomeClass* const * GetSomeClassArray () const
    {
      return someClassArray;
    }
};

int main ()
{
    AnotherClass anotherClass;
    const SomeClass* const * someClassArray = anotherClass.GetSomeClassArray ();
    
    SomeClass* someClass2 = new SomeClass;
    someClassArray[0] = someClass2; // 此处会编译报错，符合预期
    // 同时 *someClassArray[0] = xxx 也会编译报错
}

方案2：使用更安全的封装（推荐） #

如果使用C++20及以上版本，可以返回std::span<const SomeClass* const, 3>，除了满足const约束外，还自带长度信息，避免数组越界问题。如果需要更高的封装度，也可以单独实现按索引访问的getter方法，不直接暴露数组指针。

内容的提问来源于stack exchange，提问作者user16038533