检测功能失败static_assert成语

Question

有没有办法使用检测习惯用语(或其他方法(来测试函数是否对给定的模板参数有效，如果它由于static_assert而失败？

下面的示例说明了foo的有效性(失败的返回类型计算(是按预期检测到的，但bar(失败的static_assert(的有效性不是。

#include <iostream>
#include <type_traits>
template <typename... T> using void_t = void;
template <class AlwaysVoid, template<class...> class Op, class... Args>
struct detector: std::false_type { };
template <template<class...> class Op, class... Args>
struct detector<void_t<Op<Args...>>, Op, Args...>: std::true_type { };
template <template<class...> class Op, class... Args>
constexpr bool is_detected = detector<void, Op, Args...>::value;
template <typename T>
std::enable_if_t<!std::is_void<T>::value> foo() {
std::cout << "foo" << std::endl;
}
template <typename T>
void bar() {
static_assert( !std::is_void<T>::value );
std::cout << "bar" << std::endl;
}
template <typename T> using foo_t = decltype(foo<T>());
template <typename T> using bar_t = decltype(bar<T>());
int main(int argc, char* argv[]) {
foo<int>();
// foo<void>(); // fails as expected
bar<int>();
// bar<void>(); // fails as expected
std::cout << std::boolalpha;
// detection works for foo
std::cout << is_detected<foo_t,int > << std::endl; // true
std::cout << is_detected<foo_t,void> << std::endl; // false
// but not for bar
std::cout << is_detected<bar_t,int > << std::endl; // true
std::cout << is_detected<bar_t,void> << std::endl; // true !!!
}

这就是我无法检测boost::lexical_cast是否对给定类型有效的原因。

Answer 1

在这里不可能使用 SFINAE来获取正确的输出，因为 SFINAE 规则对声明而不是定义进行操作。

声明的bar类型将始终是void(void)，因此就SFINAE而言，声明是可以的。

如果你写一个真正的检测成语(就像我在这里所做的那样(，并像这样使用它：

template <typename T> 
using CanCallFoo_t = decltype(&foo<T>);
template<class T>
using CanCallFoo = detect<T, CanCallFoo_t, void>;
template<class T>
using CanCallBar_t = decltype(&bar<T>);
template< class T>
using
CanCallBar = detect<T, CanCallBar_t, void>;
//...
std::cout << CanCallFoo<int>::value << std::endl; // true
std::cout << CanCallFoo<void>::value << std::endl; // false
std::cout << CanCallBar<int>::value << std::endl;
std::cout << CanCallBar<void>::value << std::endl;

您会注意到 SFINAE 成功，然后在分析定义时收到编译器错误。

错误：静态断言失败
static_assert( !std::is_void<T>::value );

演示

请注意，它适用于foo因为foo声明的类型将使 SFINAE 失败void

static_assert的重点是在没有找到其他更好的匹配时使编译失败，而不是作为 SFINAE 的替代品。

Answer 2

Andy 的回答是正确的，他解释说，使用 sfinae 无法检测static_assert或任何定义替换失败。不过，我想指出的是，解决你的问题是可能的，尽管你需要承受一些重复的冲击。

基本上，您需要找出lexical_cast尝试应用于泛型类型的操作。然后，你用你自己的函数包装lexical_cast，并在lexical_cast需要的任何属性上sfinae你的函数。这并不优雅，但我怀疑与您感兴趣的应用程序相关的类型有不止一些要求，因此这是一个实用的解决方案(也许(。

也许这是显而易见的，但我想我会提到这一点，因为它还没有被涵盖。