检测已删除的功能-解网

问：

有没有办法在重载选择后检测已删除的函数（在没有可行或不明确的重载上）？

void foo();
void foo(double) = delete;
void foo(std::string);

void foo(char, int);
void foo(int, char);

static_assert(!foo_is_deleted<>);             // exist as not deleted
static_assert( foo_is_deleted<double>);       // explicitly deleted
static_assert( foo_is_deleted<float>);        // foo(4.2f) selects foo(double) which is deleted.
static_assert(!foo_is_deleted<const char*>);  // foo("..") selects foo(std::string) which is not deleted.
static_assert(!foo_is_deleted<std::vector<int>>); // No viable overload, so not deleted
static_assert(!foo_is_deleted<char, char>);   // ambiguous overload, so not deleted

C++ 类型特征 deleted-functions

namespace foo_is_deleted_impl {
    template<typename...>
    void foo(...);
}

template<typename... Args>
inline constexpr auto foo_is_deleted = []{
    auto a = requires { foo(std::declval<Args>()...); };
    using namespace foo_is_deleted_impl;
    auto b = requires { foo(std::declval<Args>()...); };
    return !(a || b);
}();

这个想法是首先测试重载解决是否成功，并具有可用的候选者（意味着未删除）。a

然后，我使重载对 lambda 中的非限定名称查找可见，并重复测试。重载的声明方式使我认为它不可能比任何其他重载都更适合（如果有人发现我遗漏的案例，请告诉我）。foo_is_deleted_impl::foousing namespaceb

如果为 true，则肯定没有进行已删除的重载，所以我返回 .afalse

如果不是 true，而是是，则的重载解析必须失败，因为为选择的重载不会比为选择的重载更好，因此再次返回。ababafalse

如果和都为 false，则有两种可能性：要么失败，因为选择了其中一个非重载并被删除，在这种情况下我返回，要么它失败，因为重载解析变得不明确。然而，这意味着的重载解决确实找到了可行的候选者，因此应返回其结果。abbfoo_is_deleted_impl::footruefoo_is_deleted_impl::fooa

对于所有这些，重要的是在范围方面彼此相对，并按原样放置。在声明下方的位置也很重要，因为只有 ADL 会从实例化点进行查找。foofoo_is_deleted_implfoo_is_deletedfoo_is_deletedfoo

这也假定这是使用非限定名称调用的自由函数（模板）的重载集。它应该适用于 ADL。foo

啊，好吧。我错了。你应该在你的回答中说出来。因为构造 []{ ... }();不是很好理解。对于大多数人来说，这样的计算可以在编译时完成会令人惊讶。此标准是否符合，或者编译器是否只是宽容。在 en.cppreference.com/w/cpp/language/constant_expression 上有 37 条关于常量表达式的规则。您的解决方案是其中之一吗？只是想知道。

上一个：从具有已删除析构函数的类派生？

下一个：C2280 尝试引用已删除函数时出错 [duplicate]

检测已删除的功能

Detect deleted function

评论

评论