type_info的std :: is_convertible

Question

在C ++ 11中，可以通过using std::is_convertible<A, B>来确定类型A的变量是否可以隐式转换为类型B.

如果你真的知道类型A和B，这很有效，但我只有type_infos。 所以我正在寻找的是这样的函数：

bool myIsConvertible(const type_info& from, const type_info& to);

是否有可能在C ++中实现类似的东西？ 如果是这样，怎么样？

Answer 1

便携式C ++中不可能做你想做的事。

如果您将自己局限于给定平台， 则可能会获得部分答案。 例如，那些遵循Itanium ABI的平台将具有此功能的实现：

extern "C" 
void* __dynamic_cast(const void *sub,
                     const abi::__class_type_info *src,
                     const abi::__class_type_info *dst,
                     std::ptrdiff_t src2dst_offset);

在此ABI中， abi::__class_type_info是从std::type_info派生的类型，程序中的所有 std::type_info都具有从std::type_info派生的动态类型（ abi::__class_type_info只是一个示例）。

使用此ABI，可以构建一个工具，该工具将在给定其std::type_info导航任何类型的继承层次结构（在运行时）。 在这样做的过程中，您可以确定两个std::type_info代表两种类型，可以是dynamic_cast ，甚至是static_cast 。

请注意，这样的解决方案不会考虑使用转换构造函数或转换运算符在类型之间进行转换。 即使这个限制是可以接受的，我也不推荐这条路线。 这不是一个简单的项目，而且非常容易出错。 但这可能是你的C ++实现如何实现dynamic_cast ，所以这显然不是不可能的。

Answer 2

我想这可以在你知道变量的typeid的情况下完成，你总是可以在c ++中使用typeid运算符知道。

  Derived* pd = new Derived;
  Base* pb = pd;
  cout << typeid( pb ).name() << endl;   //prints "class Base *"
  cout << typeid( *pb ).name() << endl;   //prints "class Derived"
  cout << typeid( pd ).name() << endl;   //prints "class Derived *"

然后你必须创建一个multimap或使用key作为typeid （你想知道它是否可以转换为）和value as convertible type ids （convertable type）where if like。 在这里，在这种情况下，你可以访问地图搜索，如果一个key你的情况const type_info& from具有value映射到const type_info& to 。 如果是，则可以返回bool为true或false 。 但在这种情况下，您需要确保正确地看到代码中的所有类和继承。 并在此基础上决定是否合法转换并在此基础上添加地图。 但这将是一个乏味的过程，我没有看到任何使用它。

如果一个类型可以被转换为其他类型或者不正确，那么通过c ++可以让你通过dynamic cast知道。 虽然static_cast甚至会将不可比的类型相互转换，但不正确的使用会导致运行时错误