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

Subject: Re: [Boost-users] [type_erasure] use of typeid_of with reference any
From: Steven Watanabe (watanabesj_at_[hidden])
Date: 2016-08-22 21:40:18

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