This is the mail archive of the
libstdc++@gcc.gnu.org
mailing list for the libstdc++ project.
is_void<const void>
- From: Jonathan Wakely <jwakely dot gcc at gmail dot com>
- To: "libstdc++" <libstdc++ at gcc dot gnu dot org>
- Date: Fri, 23 Mar 2012 14:01:50 +0000
- Subject: is_void<const void>
>From 3.9.3 [basic.type.qualifier] cv-qualified void types are distinct
from void itself, and from 20.9.4.1 [meta.unary.cat] says is_void<T>
is true if T is void, so by my reading is_void<const void> should be
false, meaning we have a bug.
Should we remove the remove_cv in the definition of std::is_void?
It could be simplified to be just:
template<typename T>
struct is_void : __is_void_helper<T>
{ };