Question

有没有办法使用detection idiom（或其他方法）来测试函数是否对给定的模板参数有效，如果它因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 rules操作声明，而不是定义。

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

如果你写了一个真正的检测习语（比如I did here），就像这样使用它：

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 );

Demo

请注意，它适用于foo，因为foo的声明类型将导致void

的SFINAE失败

static_assert的要点是如果没有找到其他更好的匹配，则编译失败，而不是替换SFINAE。

Answer 2

Andy的回答是正确的，在解释为sfinae无法检测static_assert或任何定义替换失败。我想指出，虽然你需要承受一些重复的冲击，但是有可能解决你的问题。

基本上，您需要了解lexical_cast尝试应用于泛型类型的操作类型。然后用你自己的函数包装lexical_cast，并在lexical_cast所需的任何属性上调整你的函数。这不是很优雅，但我怀疑与您感兴趣的应用相关的类型有不止一些要求，因此它是一个实用的解决方案（可能）。

也许这很明显，但我想我会提到这个，因为它尚未涵盖。

检测功能失败static_assert的习惯用法

2 个答案: