C：与泛型const指针斗争

我在一些模板化代码中遇到了一些令人烦恼的const-correctness问题,最终归结为以下观察结果：由于某种原因,给定一个STL-ish容器类型T,const typename T :: pointer实际上似乎没有即使T ::指针等效于T :: value_type *,也会产生常量指针类型.

以下示例说明了该问题.假设您有一个模板化函数,它接受一个必须满足STL随机访问容器概念要求的Container.

template <class Container>
void example(Container& C)
{
    const typename Container::pointer p1 = &c[0]; // Error if c is const
    const typename Container::value_type* p2 = &c[0]; 
}

然后,如果我们传递这个函数一个const容器……

const std::vector<int> vec(10);
example(vec);

…我们从const int *到int *的转换无效.但是为什么在这个例子中const typename Container :: pointer与const int *不一样？

请注意,如果我将const typename Container :: pointer更改为typename Container :: const_pointer,它编译得很好,但是,据我所知,const_pointer typedef是一个扩展名,(我没有在C标准中看到它容器要求(23.5,表65)),因此我不想使用它.

那么如何从容器T中获取通用的,const-correct指针类型呢？ (我真的看不到如何在不使用boost :: mpl :: if_和type_Traits来检查容器是否是常量的情况下如何做到这一点……但是必须有一个不那么冗长的方法来做到这一点)

编辑：如果重要,我正在使用gcc 4.3.2来编译它.

typedef int* IntPtr;

const IntPtr p;

const int* p;

int* const p;

const int* p;