Question

我试图创建一个可复制的类，它依赖于模板参数（bool Copyable），否则只能移动。

当通过模板参数myclass(myclass&&)启用时，它可以从类型本身（默认构造函数）到myclass(myclass const&)和bool Copyable构建。

它也可以从myclass与其他模板参数构造，我的当前实现通过模板化构造函数和赋值运算符来覆盖它。

此处使用零规则通过继承的copyable辅助结构生成默认构造函数和赋值运算符，该结构在bool Copyable为假时禁用复制构造函数和复制赋值运算符。

template<bool>
struct copyable { };

template <>
struct copyable<false>
{
    // Disables copy construct & copy assign
    copyable() = default;
    copyable(copyable const&) = delete;
    copyable(copyable&&) = default;
    copyable& operator=(copyable const&) = delete;
    copyable& operator=(copyable&&) = default;
};

template<typename A, typename B, typename C>
struct storage_t
{
    // Implementation depends on A, B and C
};

template<typename A, typename B, typename C, bool Copyable>
class myclass
    : public copyable<Copyable>
{
    storage_t<A, B, C> _storage;

public:
    // It should generate the default constructors and
    // assignment operatos dependent on its inherited helper struct copyable.

    // Comment this out to disable the error...
    // (Implementation omitted)
    template<typename A, typename B, typename C>
    myclass(myclass<A, B, C, true> const&) { }

    template<typename A, typename B, typename C, bool Copyable>
    myclass(myclass<A, B, C, Copyable>&&) { }

    template<typename A, typename B, typename C>
    myclass& operator= (myclass<A, B, C, true> const&) { return *this; }

    template<typename A, typename B, typename C, bool Copyable>
    myclass& operator= (myclass<A, B, C, Copyable>&&) { return *this; }
    // ... comment end
};

通过解释stackoverflow的早期答案，如：

其中说：

编译器仍将为您生成默认的复制构造函数，而不是实例化模板化的构造函数。

我认为编译器仍会生成默认的构造函数，尽管提供了模板化的构造函数。

但是上层示例代码的编译失败并显示错误消息（msvc 2015）：

错误C2512：＆＃39; myclass＆＃39;：没有合适的默认构造函数：

myclass<int, int, int, true> mc1;

当我超出提供的模板化构造函数和赋值运算符时，会使用默认构造函数，但是为了给myclass分配其他模板参数而丢失功能。

一个简单的用法示例是：

/////
// Testing the copyable class
myclass<int, int, int, true> mc1;

// Copy construct
myclass<int, int, int, true> mc2(mc1);
// Copy assign
mc1 = mc2;

/////
// Testing the move only class
myclass<int, int, int, false> mc3;

// Move construct
myclass<int, int, int, false> mc4(std::move(mc3));
// Move assign
mc3 = std::move(mc4);

// Not working part:
// Copy and move from myclass with other template params
myclass<int, int, float, true> mc5;
// Error here:
mc1 = mc5;

有没有办法通过模板参数禁用复制构造和赋值运算符，还提供模板化构造函数/赋值运算符？

Answer 1

如果提供其他构造函数，则不会生成默认构造函数。

只提供默认值：

myclass() = default;

在您的情况下，如果可能，仍然会生成复制构造函数（当您继承copyable<false>时，情况并非如此）。

禁用默认复制构造＆amp;使用模板化构造函数时分配构造函数

1 个答案: