C：与泛型const指针斗争

概述我在一些模板化代码中遇到了一些令人烦恼的const-correctness问题,最终归结为以下观察结果：由于某种原因,给定一个STL-ish容器类型T,const typename T :: pointer实际上似乎没有即使T ::指针等效于T :: value_type *,也会产生常量指针类型. 以下示例说明了该问题.假设您有一个模板化函数,它接受一个必须满足STL随机访问容器概念要求的Con 我在一些模板化代码中遇到了一些令人烦恼的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来编译它.

解决方法 它不起作用,因为你的const不适用于你认为它适用的东西.例如,如果你有

typedef int* IntPtr;

然后

const IntPtr p;

不代表

const int* p;

而是代表

int* const p;

Typedef-name不是宏.一旦类型的“指针”被包装到typedef-name中,就再也无法使用它来创建指向const的类型.即绝对没有办法使用上面的IntPtr typedef-name来生成等价的

const int* p;

你必须明确地使用指向类型(就像你使用value_type一样),或检查你的容器是否定义了一个不同的typedef-name,const已经包含在“insIDe”中(比如const_pointer或类似的东西).

总结

以上是内存溢出为你收集整理的C：与泛型const指针斗争全部内容，希望文章能够帮你解决C：与泛型const指针斗争所遇到的程序开发问题。

如果觉得内存溢出网站内容还不错，欢迎将内存溢出网站推荐给程序员好友。