具有非公共析构函数的类型的 std::is_constructible

Question

对于具有私有或受保护析构函数的类型，std::is_constructible 的预期结果是什么？

例如，即使只有朋友可以释放它，我仍然可以在堆上构造这样的对象：

#include <type_traits>

class Foo
{
    friend void freeFoo(Foo*);
public:
    Foo()
    {}
private:
    // Destructor is private!
    ~Foo()
    {}
};

void freeFoo(Foo* f)
{
    delete f;  // deleting a foo is fine here because of friendship
}

int main()
{
    Foo* f = new Foo();
    // delete f;   // won't compile: ~Foo is private
    freeFoo(f);    // fine because of friendship


    if(!std::is_constructible<Foo>::value)
    {
        std::cout << "is_constructible failed" << std::endl;
    }
}

在 gcc 和 Visual C++ (gcc demo on coliru) 上对 is_constructible 的最终检查将失败。

这是标准要求的行为吗？如果是这样，有没有办法检查该类型是否具有特定的构造函数，而不考虑析构函数上的访问说明符？

Answer 1

C++14 FD 对is_constructible 的定义如下：

给定以下函数声明：

template <class T>
add_rvalue_reference_t<T> create() noexcept;

模板特化的谓词条件 当且仅当满足is_constructible<T, Args...> 对于某些发明，以下变量定义将是格式良好的 变量t:

T t(create<Args>()...);

访问检查如同在与T 无关的上下文中执行 和任何Args。只有直接上下文的有效性 考虑变量初始化。 [ 注意：评估 初始化可能会导致副作用，例如 类模板特化和函数模板的实例化 专业化，隐式定义函数的生成，以及 很快。此类副作用不在“直接上下文”中，并且可以 导致程序格式错误。 ——尾注 ]

现在问题基本上归结为“在变量初始化的直接上下文中调用析构函数吗？” [class.dtor]/11：

隐式调用析构函数

• 对于在程序终止 (3.6.3) 时具有静态存储持续时间 (3.7.1) 的构造对象，
• 对于在其中创建对象的块退出 (6.7) 时具有自动存储持续时间 (3.7.3) 的构造对象，
• 在其生命周期结束时构造的临时对象 (12.2)。

在每种情况下，调用的上下文都是 对象的构造。

因此，析构函数调用是在构造的上下文中（这里可能与初始化同义），这意味着它被考虑并导致特征返回false。
我认为这是未充分说明的（例如，即时与非显式即时上下文？），但直观地说，我希望有一个符合标准的实现将表达式 NotDestructible() 标记为格式错误 - 无论是否对 SFINAE 友好（最好是前者）。不过，从来都不是格式正确的。
Clang with libc++, libstdc++ and GCC do say that it's invalid, SFINAE-friendly.

---

如果是，有什么方法可以检查该类型是否具有特定的 构造函数，不管析构函数上的访问说明符如何？

用new怎么样？

template <typename T, typename... Args>
class is_only_constructible
{
    template <typename, typename=void> struct test : std::false_type {};
    template <typename U>
    struct test<U, decltype(void(new U(std::declval<Args>()...)))> : std::true_type {};

public:
    static constexpr bool value = test<T>::value;
};

Demo。可以轻松建立一致的特征：获取 is_only_constructible 特征并将其与 is_destructible 组合（显然后者在与私有析构函数组合时返回 false）。

Answer 2

引用 C++ 标准（草案 N4296）的 [meta.unary.prop]/7 段：

给定以下函数声明：

template <class T>
add_rvalue_reference_t<T> create() noexcept;

模板特化is_constructible<T, Args...> 的谓词条件当且仅当以下变量定义对于某个发明变量t 的格式正确：

T t(create<Args>()...);

换句话说，如果析构函数不可访问，is_constructible<T, Args...>::value 将产生 false。