Re: [Boost-users] [type_erasure] use of typeid_of with reference any

AMDG On 08/21/2016 11:22 AM, Joaquin M López Muñoz wrote:

Boost.TypeErasure docs say

template<typename Concept, typename T> const std::type_info & typeid_of(const any< Concept, T > & arg);

[...]

Requires: Concept includes typeid_<T>. T is a non-reference, CV-unqualified placeholder.

This is somewhat unclear, but the requirement is only intended to apply to the other overload.

which, if my literal reading is right, means that you can't use typeid_of on, say, any<typeid_<>,_self&>, yet the following compiles on GCC

In Christ, Steven Watanabe