为什么 SFINAE 无法检测 MSVC 上的 constexpr？
我编写了以下编译时检查来检测 size 方法是否为 constexpr。遗憾的是这并没有按预期工作。它为 std::vector 返回 true。我认为用 size 的结果实例化 std.:integral_constant 会触发 SFINAE，因为参数必须在编译时已知。为什么结果仍然正确？
template <typename T, typename = void>
struct ConstexprSize : std::false_type
{ };
template <typename T>
struct ConstexprSize<T, std::void_t<decltype(std::integral_constant<decltype(std::declval<T>().size()), std::declval<T>().size()>{})>>
: std::true_type
{ };
constexpr bool test = ConstexprSize<std::vector<double>>::value; // true
I have written the following compile time check to detect if the size method is constexpr. Sadly this doesn't work as expected. It returns true for std::vector. I tought instantiating std.:integral_constant with the result of size would trigger SFINAE, because the argument has to be known at compile time. Why is the result still true?
template <typename T, typename = void>
struct ConstexprSize : std::false_type
{ };
template <typename T>
struct ConstexprSize<T, std::void_t<decltype(std::integral_constant<decltype(std::declval<T>().size()), std::declval<T>().size()>{})>>
: std::true_type
{ };
constexpr bool test = ConstexprSize<std::vector<double>>::value; // true
如果你对这篇内容有疑问，欢迎到本站社区发帖提问 参与讨论，获取更多帮助，或者扫码二维码加入 Web 技术交流群。
绑定邮箱获取回复消息
由于您还没有绑定你的真实邮箱，如果其他用户或者作者回复了您的评论，将不能在第一时间通知您！
发布评论