如何检测显式转换运算符，is_constructible 应该工作吗？

Question

我想检测一个类是否具有显式转换运算符。 我已尝试使用 is_constructible，但以下断言在 msvc 19.00.23506 中失败。

#include <string>
#include <type_traits>

struct Foo { explicit operator std::string() { return ""; } };

static_assert(std::is_constructible<std::string, Foo>::value, "Fail");

我的问题是：

• is_constructible 应该在这里工作吗？
• 如何以不同的方式检测它？

Answer 1

is_constructible 应该在这里工作吗？

我认为应该，as there is nothing that excludes explicit conversions。 g++4.8 （及以上） 和 clang++3.6 （及以上） 都能成功编译您的代码。

---

如何以不同的方式检测它？

您可以尝试使用 detection idiom，它是为 C++17 标准化的，但可在 C++11 中实现。 （cppreference 页面上提供了符合 C++11 的实现。）

struct Foo { explicit operator std::string() { return ""; } };

template <class T>
using convertible_to_string = decltype(std::string{std::declval<T>()});

// Passes!
static_assert(std::experimental::is_detected<convertible_to_string, Foo>::value, "");

wandbox example

(!) 注意：这种方法在 MSVC 19.10 上似乎无法正常工作(tested here)。这是我使用的full snippet。