关于C++ CRTP模式下类成员可见性的技术问询

我已了解CRTP（奇特递归模板模式）的用途及其“编译时多态”特性，现希望深入理解该模式下C++类成员的可见性问题。

原始代码（带约束） #

// A C++ constraint for a type that is "closable".
template <typename T>
concept IsClosable = requires(T t)
{
  { t.closeImplementation() } -> std::same_as<void>;
};

// I defer the constraint "IsClosable" to the function rather than the class
// otherwise when I use CRTP, the constraint would fail. 
template <typename T>
class Base
{
public:
  template <IsClosable C = T>
  void close()
  {
    static_cast<C*>(this)->closeImplementation();
  }
};

class Derived : public Base<Derived>
{
// Visibility in question here.
public:
  void closeImplementation()
  {

  }
};

简化分析用代码 #

为简化分析，移除约束后推导编译器处理逻辑：

1. 重写基础代码：

template <typename T>
class Base
{
public:
  void close()
  {
    static_cast<T*>(this)->closeImplementation();
  }
};

class Derived : public Base<Derived>
{
// Visibility in question here.
public:
  void closeImplementation()
  {

  }
};

2. 编译器先忽略未实例化的模板声明；
3. 遇到class Derived : public Base<Derived>时开始实例化模板，得到特化的Base<Derived>类：

template <>
class Base<Derived>
{
public:
  void close()
  {
    static_cast<Derived*>(this)->closeImplementation();
  }
};

此处对类型转换的兼容性存在疑问。

4. 模板实例化完成后继续声明Derived类，代入继承的方法后结构如下：

class Derived // Inheriting from Base<Derived>
{
public:
  void closeImplementation()
  {

  }

  void close()
  {
    static_cast<Derived*>(this)->closeImplementation();
  }
};

核心问题 #

1. 为何closeImplementation不能设为private，看起来close仍可访问它？
2. static_cast<Derived*>(this)->closeImplementation()是在Base<Derived>类还是Derived类中调用？若是前者，如何实现？
3. 我对编译器处理该代码的逻辑理解是否正确？

问题解答 #

问题1：为何closeImplementation设为private时close无法访问？ #

当closeImplementation是Derived的private成员时，Base<Derived>::close里的调用会直接报错——成员访问权限是基于调用代码所在的类判断的：close是Base<Derived>的成员函数，不属于Derived类，所以无权访问Derived的私有成员，你觉得“看起来能访问”是一种错觉。

如果想让Base访问Derived的私有实现，有两种常用方案：

• 在Derived中声明Base<Derived>为友元：friend class Base<Derived>;
• 将closeImplementation设为protected成员，这样作为基类的Base<Derived>就能访问Derived的protected成员。

问题2：调用的归属与实现逻辑 #

这个调用是在Base<Derived>类的close函数中执行的。

实现的核心逻辑：

• this在Base<Derived>中是指向Base<Derived>对象的指针，但因为Derived公开继承自Base<Derived>，所以static_cast<Derived*>(this)是合法的——CRTP场景下，this实际指向的就是Derived对象，这个向下转型是安全的。
• 调用closeImplementation时，编译器会根据指针类型（Derived*）查找成员，但访问权限检查会基于调用上下文（即Base<Derived>的成员函数是否有权限访问该成员）。

问题3：编译器处理逻辑的正确性 #

你的推导整体方向正确，但有几个细节需要修正：

1. 模板实例化时机：处理class Derived : public Base<Derived>时，会触发Base<Derived>的实例化，但此时Derived属于不完全类型。C++允许基类实例化时使用派生类的不完全类型，只要后续Derived被完整定义即可。
2. 继承的本质：你最后推导的Derived结构不准确——Derived并没有把Base的close函数“复制”到自身类中，而是通过public继承获得了Base<Derived>::close的访问权限，其内存布局包含Base<Derived>的子对象，close仍然是基类的成员函数。
3. 类型转换合法性：static_cast<Derived*>(this)合法的原因是Derived是Base<Derived>的公开派生类，且CRTP场景下this实际指向的就是Derived对象，因此这个向下转型是安全的。

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