C++ 构造函数中不需要的隐式转换

Question

我有一个简单的情况，我有一些统一的界面，例如:

class I {
public:
    virtual void Run() = 0;
};

出于性能原因，我有一些具有相同接口(interface)但未将其声明为虚拟的模板。所以我需要再添加一层，使它们的功能成为虚拟的:

template <class B>
class S : public I {
    B mb;

public:
    S(B b)
        :mb(b)
    {}

    virtual void Run()
    {
        std::cout << mb << std::endl; // or mb.Run()
    }
};

请注意，我替换了 mb.Run()通过打印它的值。这只是为了简化，它不会影响我在这里遇到的行为。但无论如何，到目前为止一切顺利。现在为了方便起见，我还有一个自动生成界面的类:

class A {
    I *mi;

public:
    A()
        :mi(0)
    {}

    template <class B>
    A(B b)
        :mi(new S<B>(b))
    {}

    A(A &a)
        :mi(a.mi)
    {
        a.mi = 0;
    }

    template <class B>
    A &operator =(B b)
    {
        delete mi;
        mi = new S<B>(b);
        return *this;
    }

    A &operator =(A &a)
    {
        delete mi;
        mi = a.mi;
        a.mi = 0;
        return *this;
    }

    I *operator ->()
    {
        assert(mi);
        return mi;
    }
};

这充当 S 的自动构造函数同时也作为一个简单的托管指针。我会按如下方式使用它:

A a = instanceOfB();

那应该调用模板A::A<instanceOfB>()依次分配一个新的 S<instanceOfB>在堆上并将其存储在 A 中.现在我可以调用A->Run()最终解析为 S->Run()那会叫instanceOfB::Run() , 这不是虚拟的。

相反，发生的是 instanceOfB()首先转换为 A然后它就死了，因为没有构造函数需要 A (仅 A& )。请注意，这只发生在 g++ 中，Visual Studio 2008 和 Visual C++ 6.0 都可以毫无问题地编译代码。您可以使用以下方法重现该行为:

void Test()
{
    A a = 4; // error: no matching function for call to "A::A(A)"
    //A a; a = 4; // works
    //A a(4); // works
    a->Run();
}

我曾尝试将构造函数声明为显式的，但这似乎没有帮助，或者我可能做错了。如果A没有管理指针，我可以取 const A& 的值在构造函数中，因此整个问题将得到解决。这个问题还有其他解决方案吗？遗憾的是，C++11 不可用。

我正在尝试实现高效的委托(delegate)。基本上我希望能够做到:

int myFunction(int, float);
StaticCallCtx<int, MakeTypelist(int, float)> ctx = Grab(&myFunction)(1, 2.3f);

// ctx.Run() calls the function, with the specified arguments
// it's *not* virtual (compiles to just a few instructions so I
// don't want to spoil it by adding a vfptr)

AutoCallPointer p = ctx;
// or directly AutoCallPointer p = Grab(&myFunction)(1, 2.3f);
// wraps StaticCallCtx, has ->Run() as well, this time there
// is the price of calling the virtual function

最终，高性能(稍后将用于加速某些线性代数函数)和用户舒适度(简称 AutoCallPointer p = Grab(fun)(parms)，无需编写模板参数列表)是这里的主要目标。

编辑:

@ecatmur 的解决方案是正确的。由于它很短，我将尝试在这里重申。 g++ 正确拒绝编译代码，如 A没有复制构造函数需要 A (仅 A& )。在复制初始化的情况下将不使用模板构造函数A a = instanceOfB() .

我们必须提供一个复制构造函数，取 const A& .由于复制省略，没有主体的构造函数声明就足够了。然而，这不是一个好的解决方法。

最好申报A::mi作为mutable并更改现有的 A&构造函数取 const A& (也可以更改复制操作符)。固定A看起来像这样:

class A {
    mutable I *mi;

public:
    A()
        :mi(0)
    {}

    template <class B>
    A(B b)
        :mi(new S<B>(b))
    {}

    A(const A &a)
        :mi(a.mi)
    {
        a.mi = 0;
    }

    template <class B>
    A &operator =(B b)
    {
        delete mi;
        mi = new S<B>(b);
        return *this;
    }

    A &operator =(const A &a)
    {
        delete mi;
        mi = a.mi;
        a.mi = 0;
        return *this;
    }

    I *operator ->()
    {
        assert(mi);
        return mi;
    }
};

此代码可在 g++ 和 Microsoft 的编译器中编译(也在 http://codepad.org/9FqUk0Fj 中)。

Answer 1

当您复制初始化类类型的对象时，复制构造函数需要可用，即使复制被省略。 g++ 拒绝你的程序是正确的；您的旧版本 MSVC 无法接受它。

您可以提供一个没有定义的复制构造函数的声明，前提是对它的调用将被省略或在链接时以其他方式失败。不过，这可能有点令人困惑。

最明显的解决方案是使用直接初始化，正如您已经观察到的那样工作正常。