It looks like I’ve got clarified status of the traits of void type. I posted my question to libstdc++ where Paolo Carlini kindly provided me what the bits I have been missing. Now, all the puzzles are in place:
[n1836], the specifications for the TR1 features mandates true for is_pod<void>, etc. Arguably this is a defect, which has been fixed in the ongoing work for the next standard, so-called C++0x.
The TR1 document in section 4.9 states:
8 It is unspecified under what circumstances, if any, is_pod
::value evaluates to true, except that, for all types T:
is_pod<T>::value >=
(is_scalar<T>::value || is_void<T>::value);
Given that, the bug report ID:458570 I submitted to Visual C++ 9.0 and it’s TR1 implementation on Microsoft Connect stays valid and according to what Stephan T. Lavavej confirmed in comments to my report, it’s been fixed in Visual C++ 10.0.
Paolo also added a note particularly important to programmers relying on C++ implementation by GCC compiler and libstdc++ library:
In general, we consider TR1 essentially frozen at this time and minimally maintained, consider that it was just an interim Technical Report
Here are references that are fundamental for the matter:
- n1836 – Draft Technical Report on C++ Library Extensions
- n2960 – Working Draft, Standard for Programming Language C++
- Implementation of is_pod<T> and the rest of type traits by Boost.TypeTraits library.
Mission accomplished ;-)
