{
  constexpr int* nullp = nullptr;
  constexpr auto&& t = typeid(nullp);  //例外を投げるため定数実行できない
}

#include <typeinfo>

struct Cpp
{
	virtual ~Cpp() = default;
};

int main()
{
	constexpr Cpp* pCpp = nullptr;
	constexpr auto& cpptype = typeid(*pCpp); // error: 例外 std::bad_typeid を投げるため constexpr 不可
}

struct Cpp
{
	virtual int version() const = 0;
};

struct Cpp17 : Cpp
{
	constexpr int version() const override
	{
		return 17;
	}
};

struct Cpp20 : Cpp
{
	constexpr int version() const override
	{
		return 20;
	}
};

constexpr int GetVersion(const Cpp& a)
{
	return a.version();
}

int main()
{
	constexpr Cpp17 cpp17;
	constexpr Cpp20 cpp20;

	static_assert(GetVersion(cpp17) == 17);
	static_assert(GetVersion(cpp20) == 20);
}