Discussion:
is_detected_exact semantic edge cases
(too old to reply)
Wee Loong Kuan
2018-11-02 12:12:53 UTC
Permalink
Hi all,

This is a really contrived example, but I was wondering if the following
case could be considered a (problem/bug/semantic issue) with
is_detected_exact? Given the following alias:

template <typename...>
using meow = std::nonesuch;

The semantics of is_detected_exact<std::nonesuch, meow, void> becomes
unclear. Does it mean that meow<void> does not name a valid type, or does
meow<void> names std::nonesuch?

Would it be better for the standard to specify that is_detected_exact
*must* name true_type if Op<Args...> names a valid type?

Thanks,
Wee Loong
--
---
You received this message because you are subscribed to the Google Groups "ISO C++ Standard - Discussion" group.
To unsubscribe from this group and stop receiving emails from it, send an email to std-discussion+***@isocpp.org.
To post to this group, send email to std-***@isocpp.org.
Visit this group at https://groups.google.com/a/isocpp.org/group/std-discussion/.
Continue reading on narkive:
Loading...