[英]Use concepts or SFINAE to check if class has a templated member function with a std::array parameter
我想使用概念和/或类型特征来检测 class 是否具有带有 std::array 参数的成员 function。
例如:下面的 Class 将传递该概念。
class OStreamRealizationGood
{
template<size_t size>
uint8_t send(std::array<uint8_t, size> array)
};
到目前为止,我已经使用了一个概念技巧。 诀窍是将大小定义为 0。所以我的概念是这样的:
template<typename Candidate>
concept OStream = requires(Candidate candidate, std::array<uint8_t, 0> array)
{
{candidate.send(array)} -> std::same_as<uint8_t>;
};
这个技巧适用于模板化的 function,但它并不是我真正需要的东西。 这不是我需要的东西,因为下面的 class 也符合要求,但我希望它不需要。
class OStreamRealizationBad
{
uint8_t send(std::array<uint8_t, 0> array)
};
有没有一种方法可以确保send(array)
是模板化的 function?
我有一个使用declval(size_t)
的想法,如下图所示,但这不适用于原始类型。
template<typename Candidate>
concept OStream = requires(Candidate candidate, std::array<uint8_t, declval(size_t)> array)
{
{candidate.send(array)} -> std::same_as<uint8_t>;
};
另一个不起作用的想法是递归概念:
template<typename Candidate, size_t size>
concept HasSendImpl = requires(Candidate candidate, std::array<uint8_t, size> array)
{
{candidate.send(array)} -> std::same_as<uint8_t>;
};
template<typename Candidate>
concept HasSend = requires(size_t size)
{
requires HasSendImpl<Candidate, size>;
};
另外,我不明白为什么上面的例子不起作用。
有没有一种方法可以确保
send(array)
是模板化的 function?
您可以在约束中使用template
关键字来表示send
需要是模板 function:
template<typename T, std::size_t size>
concept GoodRealization = requires(T t, std::array<uint8_t, size> array) {
{ t.template send<size>(array) } -> std::same_as<uint8_t>;
};
演示。
请注意,这不会拒绝使用非模板和模板 function 重载发送的类型:两者都是重载决议中可行的候选者,非模板重载可能是最佳候选者(给定重载决议的常规规则)。
声明:本站的技术帖子网页,遵循CC BY-SA 4.0协议,如果您需要转载,请注明本站网址或者原文地址。任何问题请咨询:yoyou2525@163.com.