How to determine if a type is dereferenceable in C++03?

In C++03 , how do I determine if a type T is dereferenceable?
By which I mean, how do I statically determine if *t would be a valid expression for t of type T ?

My attempt:

template<bool B, class T = void> struct enable_if { };
template<class T> struct enable_if<true, T> { typedef T type; };

unsigned char (&helper(void const *))[2];
template<class T>
typename enable_if<
    !!sizeof(**static_cast<T *>(NULL)),
    unsigned char
>::type helper(T *);

template<class T>
struct is_dereferenceable
{ static bool const value = sizeof(helper(static_cast<T *>(NULL))) == 1; };

struct Test
{
    int *operator *();
    void operator *() const;
private:
    Test(Test const &);
};

int main()
{
    std::cout << is_dereferenceable<int *>::value;       // should be true
    std::cout << is_dereferenceable<void *>::value;      // should be false
    std::cout << is_dereferenceable<Test>::value;        // should be true
    std::cout << is_dereferenceable<Test const>::value;  // should be false
}

It works on GCC (prints 1010 ) but crashes and burns on VC++ ( 1110 ) and Clang ( 1111 ).

---

#include <boosttype_traitsremove_cv.hpp>
#include <boosttype_traitsis_same.hpp>
#include <boosttype_traitsremove_pointer.hpp>
#include <boosttype_traitsis_arithmetic.hpp>
#include <boostutilityenable_if.hpp>

namespace detail
{
    struct tag 
    { 
        template < typename _T > 
        tag(const _T &); 
    };

    // This operator will be used if there is no 'real' operator
    tag operator*(const tag &);

    // This is need in case of operator * return type is void
    tag operator,(tag, int);  

    unsigned char (&helper(tag))[2];

    template < typename _T >
    unsigned char helper(const _T &);

    template < typename _T, typename _Enable = void >
    struct traits
    {
        static const bool value = (sizeof(helper(((**static_cast <_T*>(NULL)), 0))) == 1);
    };

    // specialization for void pointers
    template < typename _T >
    struct traits < _T,
        typename boost::enable_if < typename boost::is_same < typename boost::remove_cv < typename boost::remove_pointer < _T > ::type > ::type, void > > ::type >
    {
        static const bool value = false;
    };

    // specialization for arithmetic types
    template < typename _T >
    struct traits < _T,
        typename boost::enable_if < typename boost::is_arithmetic < typename boost::remove_cv < _T > ::type > > ::type >
    {
        static const bool value = false;
    };
}

template < typename _T > 
struct is_dereferenceable :
    public detail::traits < _T >
{ };

我已经在msvs 2008中测试过它

---

It's a bug in clang. Somebody should file a report.

Clang implements the old gcc extension of doing pointer arithmetic on void pointers. This includes being able to dereference a void pointer, and to take sizeof(void) . Clang does so because people used to complain about old code compilable with gcc but not clang. So clang maintainers went ahead and implemented this extension. The problems here are many-fold:

With gcc, the extension always worked silently with the C compiler, but produced a warning with the C++ compiler. With clang, both C and C++ compilers are silent by default if the extension is used.

With g++, sizeof(void) produces a substitution failure when used in a template, despite being only a warning. With clang++, it does not.

You can disable the extension in clang++ with -Wpointer-arith -Werror , but this leads to sizeof(void) being a compilation error instead of a substitution failure.

I cannot vouch for VC++.

链接地址: http://www.djcxy.com/p/76438.html

上一篇: 用通用的lisp opengl保存和加载图像

下一篇: 如何确定类型在C ++ 03中是否可引用？