主页 / coding / 问题 / 79199563
Accepted
Enlico
Asked: 2024-11-18 18:30:55 +0800 CST

如何在编译时检查是否存在接受给定参数类型的全局范围函数？

  • 772

我觉得我需要什么

如何定义类型特征来检查某个类型的T函数是否::foo(T)已声明？

我发现很难::foo以 SFINAE 友好的方式实现。例如，如果编译器已经到了定义以下内容的地步，

template<typename T>
void f(T t) { foo(t); }

foo如果到现在还没有发现任何东西，那就太好了。

但是一旦我更改foo为::foo，就会出现硬错误。

用例（以防您认为我不需要上述内容）

我有一个这样的定制点：

// this is in Foo.hpp
namespace foos {
inline constexpr struct Foo {
    template <typename T, std::enable_if_t<AdlFooable<std::decay_t<T>>::value, int> = 0>
    constexpr bool operator()(T const& x) const {
        return foo(x);
    }
} foo{};
}

通过为所需类型foos::foo定义 ADL重载，可以定制调用的行为。foo

该特征的定义很简单：

// this is in Foo.hpp
template <typename T, typename = void>
struct AdlFooable : std::false_type {};

template <typename T>
struct AdlFooable<T, std::void_t<decltype(foo(std::declval<T const&>()))>>
    : std::true_type {};

鉴于

// this is in Bar.hpp
namespace bar {
    struct Bar {};
    bool foo(bar::Bar);
}

然后调用

// other includes
#include "Foo.hpp"
#include "Bar.hpp"
bool b = foos::foo(bar::Bar{});

工作正常，将foos::foo调用路由到bar::foo(bar::Bar)通过 ADL 找到的 。无论两个#includes 的顺序如何，这都能很好地工作，这很好，因为如果传递地包含它们，它们可以按任意顺序包含// other includes。

到目前为止，一切都很好。

我不太喜欢这种方法，因为人们可能会错误地定义下面的代码，而不是上面的第二个代码片段，

// this is in Bar.hpp
namespace bar {
    struct Bar {};
}
bool foo(bar::Bar);

在全球范围内foo。

在这种情况下，如果#include "Bar.hpp"恰好在之前出现#include "Foo.hpp"，则代码程序将会起作用，因为的主体Foo::operator()将::foo(bar::Bar)通过普通查找进行选择。

但是一旦#includes 的顺序被颠倒过来，代码就会被破坏。

是的，这个错误是foo(bar::Bar)在全局命名空间中进行定义的，但我认为这也是一个纯粹偶然不会被注意到的错误。

这就是为什么我想改变类型特征来表达“发现不合格的调用，但不是通过普通查找”foo(T)，或者更直接地说，“foo(std::declval<T>())必须编译，但不能::foo(std::declval<T>())编译”。

c++

1 个回答

  1. Best Answer

    实现此目的的常用方法是仅通过 ADL调用自定义实现。因此::foo(bar::Bar)，无论包含顺序如何，在任何情况下都不会考虑过载。

    而实现这一目标的方法是加入一颗毒丸：

    namespace foos {
namespace detail {
void foo() = delete;
struct Foo {
    template <typename T>
    constexpr auto operator()(T const& x) const -> decltype(foo(x)) {
        return foo(x);
    }
};
}
inline constexpr detail::Foo foo{};
}

    普通的查找foo将foos::detail::foo不起作用。它无法检查全局范围。因此，调用foo将仅通过 ADL 进行查找。

    编辑：

    这实际上告诉您如何形成只能通过 ADL 调用的特征foo(x)，即名义问题。也就是说，如果foos::foo(x)可以通过此实现调用，则foo(x)只能通过 ADL 调用。

    • 5

相关问题