C++
编程语言虽然功能强大
,应用方式灵活
,但是在实际
编程中同样会出现各种各样的错误
。在这里我们将会为大家详细介绍一下有关C++指针漂移的解决方法,希望本文介绍的内容可以帮助大家解决问题
。 最近我们在工作中碰到一个奇怪的问题,最后确定是多继承引起的C++指针漂移,跟C++对象模型有关。示意如下:
class A {...}; class B{...}; class AB : public B, public A {...} ... AB *pab = new AB(); A* pa = (A*)pab; B* pb = (B*)pab; 这时候你发现pa和pb的值是不一样的!它们中有一个跟pab是相等的,而另外一个产生了偏移。如果把AB的声明中A和B的顺序调换一下,则产生偏移的指针也会变为另外一个。
为了确定这是编译器做了转换的缘故,利用void指针愚弄编译器:
void *pv = (void*)pab; pa = (A*)pv; 这时候pa的值倒是跟pab相等了,然而指向了错误的地方。从pab到pa的转换,依赖于路径的选择,让人不是很放心。还不知道把指针放入容器中再取出来,会不会出错。当然,上面使用了强制类型转换,在良好的程序中应该避免。如果只有隐式转换,可以得到正确的结果:
std::vector<A*> v; //implicit type conversion v.insert(v.begin(), pab); void *pv = v[0]; pa = (A*)pv; 以下程序使用Cygwin/g++b编译通过:
#include <stdio.h> #include <vector> class A { public: int a; }; class B { public: int b; }; class AB : public B, public A { public: int ab; }; int main(int argc, char **argv) { AB *pab = new AB(); pab->ab = 1; pab->b = 2; pab->a = 3; A* pa = (A*)pab; B* pb = (B*)pab; printf( "AB: %p
" " A: %p
" " B: %p
", pab, pa, pb); std::vector<A*> v; //implicit type conversion v.insert(v.begin(), pab); void *pv = v[0]; pa = (A*)pv; printf("pv is %p
pa is %p
pab %s pv
", pv, pa, (pab == pv) ? "==" : "!="); printf("A.a is %d
", pa->a); //forced type conversion pv = (void*)pab; pa = (A*)pv; printf("Now A.a is %d
", pa->a); } 运行结果:
AB: 0x6b01f0 A: 0x6b01f4 B: 0x6b01f0 pv is 0x6b01f4 pa C++编程语言中的模板应用是一个比较复杂的应用技术,我们今天就先从C++ kmp算法模板的基本应用开始学习,从而加深我们对这方面知识的认识程度,方便将来的应用,提高编程效率。
在使用的时候加上这两行代码就行了
#include < vector> using namespace std;
C++ kmp算法模板参数说明
const T *source 待匹配的字符串
TL sourceLen 待匹配字符串的长度
const T *pattern 模式串
TL 模式串长度
C++ kmp算法模板代码示例:
template < class T,class TL> inline int kmpmatch(const T *source,TL sourceLen,const T *pattern,TL patternLen)
{ vector< int> next;
for ( int i = 0; i < patternLen ; i ++ ) next.push_back(0); next[0] = -1; for( int i = 1 ; i < patternLen ; i ++ )
{ int j = next[i - 1];
while ( (pattern[i] != pattern[i + 1])&& (j >= 0))
{ j = next[j]; }
if ( pattern[i] == pattern[j + 1])
{ next[i] = j + 1; }
else { next[i] = -1; } }
int i = 0; int j = 0;
while (( i < sourceLen ) && ( j < patternLen ))
{ if ( source[i] == pattern[j] )
{ i ++; j ++; } else if ( j == 0 )
{ i ++; } else { j = next[j - 1 ] + 1; } }
if ( j >= patternLen )
{ if ( !next.empty() )
next.clear();
return i - patternLen ;
}
else
{ if ( !next.empty() ) next.clear();
return -1; } }
is 0x6b01f4 pab != pv A.a is 3 Now A.a is 2