• 可以std::unique_ptr只管理指针，还是也可以管理花式指针（类似指针的类型）？

我假设“花哨指针也是如此”，因为对于文件/套接字等资源，花哨指针可能是一个很好的工具。而且似乎没有理由std::unique_ptr不支持它们。

• 为什么测试托管指针是否为空的方法不一致？

std::unique_ptr在（GCC）中，有不同的方法来测试托管指针是否为空：

• 在~unique_ptr()：（if (__ptr != nullptr)代码）
• 在reset()：（if (__old_p)代码）
• 在operator bool()：（return get() == pointer() ? false : true;代码）

问题是它们对指针类型有不同的要求：

• bool operator ==(pointer, nullptr_t)
• operator bool()
• bool operator ==(pointer, pointer)

不一致的用法意味着所有这些都是需要的，但其中一个在语义上就足够了。

#include <memory>

using namespace std;

class File {
    FILE * pf_ = nullptr;
public:
    File() = default;
    File(const char * pathname) { /*...*/ };
    void Close() { /*...*/ };

    // All are needed to make std::unique_ptr work
    explicit operator bool() const { return pf_ == nullptr; }
    bool operator ==(nullptr_t) const { return pf_ == nullptr; }
    bool operator ==(File) const { /*...*/ return true; };
};

struct FileCloser {
    using pointer = File;
    void operator ()(File p) const { p.Close(); }
};

int main() {
    using FilePtr = unique_ptr<File, FileCloser>;
    FilePtr p(File("./abc"));
    if(p)
        p.reset();
}

恕我直言，std::unique_ptr应该对指针类型要求最低。一种解决方案是添加静态成员，例如__test_p，并使用它来一致地测试空性：

template<typename T, typename D = std::default_delete<T>>
class unique_ptr
{
// ...
private:
    static constexpr bool __test_p(pointer p) noexcept {
        if constexpr (is_convertible_v<pointer, bool>)
            return bool(p);
        else if constexpr (requires {{ p != nullptr} -> convertible_to<bool>; })
            return p != nullptr;
        else
            return p != pointer();
    }
// ...
};