结构继承：隐式公共还是私有？

Question

我无法在一个小样本中隔离此错误以在此处进行演示，但即使错误消息是如此自相矛盾，以至于人们无需测试即可知道这是否是错误。

我有一个结构（可能是公开的）派生另一个结构，但 clang 坚持认为这是隐含的私有继承：

error: 'next' is a private member of 'base'

note: constrained by implicitly private inheritance here
struct derived_temp <key> : base <derived>

虽然 g++ 编译得很好。我只更改了类的实际名称以使消息更具可读性。代码如下所示：

template </*...*/>
struct base : //...
{
private:
    //...

public:
    template <typename I> I next(I i) const { return /*...*/; }
    //...
};

template <typename /*...*/>
struct derived_temp;

struct key { /*...*/ };

using derived = derived_temp <key>;

template <>
struct derived_temp <key> : base <derived>
{
   //...
};

我试图保持代码的形式与我的项目中的完全相同，只是更改了名称并注释掉了其中的一部分。

该错误是由于尝试在 derived 类型的临时对象上调用函数 next() 引起的。

我唯一的解释是，这可能是 clang 的一个错误（但是，我无法在小样本中重现它）迫使我改变

struct derived_temp <key> : base <derived>

更明确

struct derived_temp <key> : public base <derived>

有什么想法吗？

Answer 1

代码：

struct T1 {
  int x;
};

struct T2 : T1 {
  int y;
};

int main( int argc, char * argv[] ) {
  T2 t2;
  t2.x = 3;

  return t2.x;
}

构建/运行：

~ clang blah.cc -o blah; ./blah; echo $?
3
~ clang blah.cc -std=c++11 -o blah; ./blah; echo $?
3

简而言之：默认为公共继承。

---

我花了更多时间来让它更接近 OPs 代码；这是我整理的（请原谅拼写错误；我正在使用气隙机器进行测试）：

template <class T>
struct base {
  T x;
  template <typename I> I blah( I i ) const { return i + x.k.y; }
}

template <class T>
struct derived_temp;
struct key { int y; };
using derived = derived_temp<key>;
template <>
struct derived_temp<key> : base <derived> {
  int z;
  key k;
};

int main( int argc, char * argv[] ) {
  derived d;

  d.x   = 1;
  d.k.y = 2;
  d.z   = 3;

  return 0;
}

内置：

~ clang --version
clang version 3.4 (tags/RELEASE_34/final)
Target: x86_64-unknown-linux-gnu
Thread model: posix
~ clang++ test.cc -o test -std=c++11

我遇到两个基本错误（我没有引用完整的内容，因为我必须手动输入全部内容）：

test.cc:3:5: error: field has incomplete type 'derived_temp<key>'
test.cc:21:5: error: no member named 'x' in 'derived_temp<key>'

当我盯着这个，试图了解您的动机/意图以及错误所说的内容时，我突然想到您正在尝试进行循环继承以在循环中定义事物甚至不可能的时尚。

Answer 2

那里有点不对劲。默认情况下，结构应使用公共继承。暂时忘记模板和 using 指令。

使用最简单的代码进行测试，以设置您怀疑的失败案例：

struct Base
{
int i;
};

struct Derived : Base
{
};

现在尝试从 Derived 实例访问 i。如果可行，并且应该开始添加功能，直到它具有与原始代码相同的所有组件。

现在我自己还没有 clang 来测试它。所以我只是建议前进的方向。