23 Aug
2016
23 Aug
'16
1:40 a.m.
AMDG On 08/21/2016 11:22 AM, Joaquin M López Muñoz wrote:
Boost.TypeErasure docs say
template
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
,_self&>, yet the following compiles on GCC
In Christ, Steven Watanabe