Question

我有一个类（暂时叫它base），它有一个受保护的接口，包括受保护的构造函数等。base的某些函数按值返回base的实例：

class base {
protected:
    base() {}
    base (base const &other) {}  // line 6
    base foo () {
        base ret;
        return ret;
    }
};

这些函数包含在派生类中，以返回派生类型，如下所示：

class derived : public base {
private:
    derived(base const &b) : base(b) {}
public:
    derived() : base() {}
    derived foo() {
        derived d(base::foo());  // line 21
        return d;
    }
};

为了便于从base返回类型转换为derived返回类型，我在derived中提供了一个处理此问题的私有构造函数。

使用gcc 4.1.2在Centos 5.8上进行编译会产生以下错误：

test.cpp: In member function ‘derived derived::foo()’:
test.cpp:6: error: ‘base::base(const base&)’ is protected
test.cpp:21: error: within this context

使用Linux Mint 12上的gcc 4.6.1和clang 2.9，代码编译文件，即使是-Wall -Wextra，除了unused parameter的{{1}}复制构造函数警告之外。 / p>

我认为这可能是gcc 4.1.2中的编译器错误，但我无法在网上找到任何内容。有没有人见过这个？

我没有大的痛苦就无法更新编译器。除了使基类的复制构造函数公开之外，还有一个简单的解决方法吗？

编辑我在base的第21行之前添加了base b;。在这种情况下，gcc 4.6.1和gcc 4.1.2抱怨derived::foo()的默认ctor受到保护，clang 2.9编译时没有警告。这就是DavidRodríguez - dribeas在他的评论中所说的 - 默认的ctor不能在base的不同实例上调用。

编辑2 这里似乎适用的标准段落是11.5 [class.protected]。 gcc 4.1.2似乎是正确的拒绝我的代码不正确，我想知道为什么gcc 4.6.1和clang允许它。请参阅我自己的答案以获得初步解决方案。

Answer 1

您可以尝试的解决方法是创建一个派生的私有构造函数，通过调用基函数来构造它的基础：

class derived : base {
    struct from_base_foo {};
    derived( from_base_foo ) : base( base::foo() ) {}
public;
    derived foo() {
       return derived( from_base_foo() );
    }
};

Answer 2

我的初步解决方案是让base复制ctor public。要禁止使用derived的副本来复制base个实例，继承需要为protected而不是public。结果类现在看起来像这样：

class base {
protected:
    base() {}
public:
    base (base const &other) {}
protected:
    base foo () {
        base ret;
        return ret;
    }
};

class derived : protected base {
private:
    derived(base const &b) : base(b) {}
public:
    derived() : base() {}
    derived foo() {
        derived d(base::foo());
        return d;
    }
};

基类复制构造函数的可见性问题

2 个答案: