我实现了 std::experimental::is_detected
基于 on this article on cppreference.com (部分代码在下面+工作重现)。
它在 G++ 和 Clang++ 上运行良好,但会导致 MSVC 出现奇怪的错误行为:is_detected
似乎总是bool_constant<true>
!
在这里您可以使用 gcc 5.x
查看正确的结果:
@ideone.com
但是对于 MSVC 19(VS2015 附带),测试总是成功的:
Z:\>cl /EHsc test.cxx
....
Z:\>test
true, true
那么,这是编译器中的一个已知错误吗?是否与 Expression SFINAE 未正确实现有关?我可以使用任何解决方法来完成这项工作吗?
谢谢!
这是重现错误的部分代码(为了提高易读性,我省略了界面的其余部分 is_detected
):
#include <iostream>
// void_t: void type alias
template< typename... >
using void_t = void;
//
namespace internal
{
// Fallback case
template< typename D,
typename Void,
template< typename... > class Check,
typename... Args
>
struct detect_impl
{
using value_t = std::false_type;
using type = D;
};
// Check succeeded
template< typename D,
template< typename... > class Check,
typename... Args
>
struct detect_impl
< D, void_t< Check<Args...> >, Check, Args... >
{
using value_t = std::true_type;
using type = Check<Args...>;
};
}
// Type representing a missing type.
struct nonesuch
{
nonesuch() = delete;
~nonesuch() = delete;
nonesuch(nonesuch const&) = delete;
void operator=(nonesuch const&) = delete;
};
template< template< typename... > class Check,
typename... Args
>
using is_detected = typename internal::detect_impl< nonesuch, void, Check, Args... >::value_t;
// Our test
template< typename T >
using is_addable_impl = decltype( std::declval<T>() + std::declval<T>() );
template< typename T >
using is_addable = is_detected<is_addable_impl, T>;
auto main(int argc, const char* arv[])
-> int
{
std::cout << std::boolalpha
<< is_addable<int>::value << ", "
<< is_addable<nonesuch>::value << std::endl;
}
编辑: 奇怪的是,直接使用 void_t 习惯用法在 MSVC 上有效:
#include <iostream>
#include <type_traits>
struct X {};
template< typename T, typename = void >
struct is_addable
: std::false_type
{};
template< typename T >
struct is_addable <T, std::void_t<decltype(std::declval<T>() + std::declval<T>())>>
: std::true_type
{};
int main()
{
std::cout << std::boolalpha
<< is_addable<int>::value << ", "
<< is_addable<X>::value
<< std::endl;
}
输出:
Z:\>cl /EHsc test.cxx
....
Z:\>test.exe
true, false
最佳答案
这是一个似乎适用于最近的 MSVC 的解决方法(使用 Visual C++ 19.00.23720.0 测试):
#include <type_traits>
template <typename...>
using void_t = void;
namespace internal
{
template <typename V, typename D>
struct detect_impl
{
using value_t = V;
using type = D;
};
template <typename D, template <typename...> class Check, typename... Args>
auto detect_check(char)
-> detect_impl<std::false_type, D>;
template <typename D, template <typename...> class Check, typename... Args>
auto detect_check(int)
-> decltype(void_t<Check<Args...>>(),
detect_impl<std::true_type, Check<Args...>>{});
template <typename D, typename Void, template <typename...> class Check, typename... Args>
struct detect : decltype(detect_check<D, Check, Args...>(0)) {};
}
struct nonesuch
{
nonesuch() = delete;
~nonesuch() = delete;
nonesuch(nonesuch const&) = delete;
void operator=(nonesuch const&) = delete;
};
template <template< typename... > class Check, typename... Args>
using is_detected = typename internal::detect<nonesuch, void, Check, Args...>::value_t;
(虚拟 void
参数现在未使用,它只是为了保持其余实现的完整性。)
关于c++ - std::experimental::is_detected 的奇怪 MSVC 行为,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/35661129/