2

我有一个class纯语法目的，以某种方式调用函数。这是一个简化的例子：

#include<iostream>

template<class T1>
struct make{
    template<class T2>
    static T1 from(T2 const& t2){
        return T1{}; //or something more complicated
    }
};

int main(){
    double d = make<double>::from(2);
    std::cout << d << '\n';
}

现在，假设我想警告用户不应实例化此类。该类可能有一些用途，但我很好奇是否可以禁止它？

首先我尝试删除默认构造函数 

template<class T1>
struct make{
    make() = delete;
    template<class T2>
    static T1 from(T2 const& t2){
        return T1{}; //or something more complicated
    }
};

但这仍然是可能的：

make<double> m{}; // valid

最后，我尝试删除析构函数，这似乎有效

template<class T1>
struct make{
    ~make() = delete;
    template<class T2>
    static T1 from(T2 const& t2){
        return T1{}; //or something more complicated
    }
};

但似乎那时该类仍然可以由new.

我应该同时删除析构函数和删除构造函数吗（复制和移动构造函数呢？）

这是禁止实例化的最佳方法吗？代码在这里：http ://coliru.stacked-crooked.com/a/0299c377c129fffb

#include<iostream>

template<class T1>
struct make{
    make() = delete;
    ~make() = delete;
    template<class T2>
    static T1 from(T2 const& t2){
        return T1{}; //or something more complicated
    }
};

int main(){
    double d = make<double>::from(2);
    std::cout << d << '\n';
    make<double> m{}; // compile error (no destructor)
    auto p = new make<double>{}; // compile error (no constructor)
}
4

1 回答 1

3

但这仍然是可能的：

make<double> m{}; // valid

...我不知道那会起作用。但现在我这样做了，我也知道它为什么有效。因此，如何阻止它。

它之所以有效，是因为make<T>您声明它是一个聚合。即使它有一个删除的默认构造函数，C++ 仍然认为它是一个聚合。如果你在聚合上使用支撑初始化列表，你会得到聚合初始化。

阻止它的方法很简单：使其不再是聚合：

template<class T1>
struct make{
    template<class T2>
    static T1 from(T2 const& t2){
        return T1{}; //or something more complicated
    }

    make() = delete;

private:
    char c; //Not an aggregate
};

那个私人成员迫使make<T>不再是一个聚合体。因此，它不能与聚合初始化一起使用，因此{}会尝试调用默认构造函数。这自然会失败，因为它被删除了。

可简单复制的体操可能仍可用于创建make<T>. virtual你可以通过给它一个析构函数来关闭它们：

template<class T1>
struct make{
    template<class T2>
    static T1 from(T2 const& t2){
        return T1{}; //or something more complicated
    }

    make() = delete;

private:
    char c; //Not an aggregate
    virtual ~make() = default;
};

这应该足以防止合法的 C++ 代码创建该类型的对象。

于 2016-08-24T22:32:42.657 回答