C/C++字符串处理(3):String ADT 字符串只是抽象数据类型

C/C++字符串处理(3):String ADT - 字符串只是抽象数据类型



许式伟
2008-3-26

概要

字符串是什么?我们认为,与其说它是一个类,不如说它只是一个ADT(抽象数据类型)。

目前C++中的字符串类

目前广泛采用的C++字符串类有二:std::string(basic_string,由STL提供)、CString(由MFC或者WTL提供)。它们的实现非常类似,都是带引用计数的、基于线性数据结构的字符串。不过SGI STL的Rope打破了这个规矩。它采用了一种基于树结构的组织方式来实现字符串。

如何理解字符串只是ADT?

我们知道,基于值的容器主要有:

std::deque其实是分段连续的、介于数组和链表之间的数据结构。这里不进行详细介绍,关于std::deque的介绍,请参见这里

这些容器都可以成为实现字符串的基础容器。例如,我们的StringBuilder基于std::vector实现;我们的TextPool基于std::deque实现。

也许你有疑问:是的,基于std::vector或者std::deque可以理解,但是,这世上有基于链表的字符串吗?然而世界之大,确实无奇不有。据“不完全”统计,多数函数式语言(如Erlang)确实采用单向链表实现字符串。

无论采用什么具体的实现,最后我们都会尽力去提供一个一致的字符串操作界面。所以,从这个意义上说,字符串只是一个ADT(抽象数据类型),它可以有多种实现,使用者按照具体的需求选择一种最合适自己用况的字符串类。

字符串操作界面

在StdExt库中,字符串这个ADT的规格定义如下:

常字符串

不可变的字符串类,应该至少包含以下方法:

template <class _E>
concept ConstString
{
public:
typename value_type;
typename size_type, difference_type;
typename reference, const_reference;
typename iterator, const_iterator;

public:
iterator begin() const;
iterator end() const;

reverse_iterator rbegin() const;
reverse_iterator rend() const;

const_reference at(size_type i) const;
const_reference operator[](size_type i) const;

size_type size() const;
bool empty() const;

basic_string<_E> stl_str() const; // 转为STL string

public:
// 取字符串的字串

template <class AllocT>
BasicString<_E> substr(
AllocT& alloc, size_type from = 0, size_type count = (size_type)-1) const;

public:
// 在字符串中查找子串(正向查找)。

iterator find(const TempString<_E> pattern, iterator from = begin()) const;
iterator find(const _E* pattern, size_type len, iterator from = begin()) const;

public:
// 在字符串中查找子串(反向查找)。

iterator rfind(const TempString<_E> pattern, iterator from = begin()) const;
iterator rfind(const _E* pattern, size_type len, iterator from = begin()) const;

public:
// 查找某个集合中的字符在字符串中第一次出现的位置(正向查找)。

iterator find_first_of(
const TempString<_E> pattern, iterator from = begin()) const;

iterator find_first_of(
const _E* pattern, size_type len, iterator from = begin()) const;

public:
// 查找某个集合中的字符在字符串中第一次出现的位置(反向查找)。

reverse_iterator find_last_of(
const TempString<_E> pattern, reverse_iterator from = rbegin()) const;

reverse_iterator find_last_of(
const _E* pattern, size_type len, reverse_iterator from = rbegin()) const;

public:
// 在字符串中查找不在集合中出现的第一个字符的位置(正向查找)。

iterator find_first_not_of(
const TempString<_E> pattern, iterator from = begin()) const;

iterator find_first_not_of(
const _E* pattern, size_type len, iterator from = begin()) const;

public:
// 在字符串中查找不在集合中出现的第一个字符的位置(反向查找)。

reverse_iterator find_last_not_of(
const TempString<_E> pattern, reverse_iterator from = rbegin()) const;

reverse_iterator find_last_not_of(
const _E* pattern, size_type len, reverse_iterator from = rbegin()) const;

public:
// 比较两个字符串。

int compare(const TempString<_E> b) const;
int compare(const _E* b, size_type blen) const;
int compare(size_type from, size_type count, const TempString<_E> b) const;
int compare(size_type from, size_type count, const _E* b, size_type blen) const;

public:
// 比较两个字符串(传入单字符的比较函数)。

template <class _Compr>
int compare_by(const TempString<_E> b, _Compr cmp) const;

template <class _Compr>
int compare_by(const _E* b, size_type blen, _Compr cmp) const;

public:
// 比较两个字符串(忽略大小写)。

int icompare(const TempString<_E> b) const;
int icompare(const _E* b, size_type blen) const;

public:
// 判断是否包含指定的串。

bool contains(const TempString<_E> b) const;
bool contains(const _E* b, size_type blen) const;

public:
template <class LogT>
void trace(LogT& log) const; // 在log中显示该字符串。

public:
// 交换两个字符串

void swap(ConstString& b);
}

template <class _E> // 比较两个字符串
bool operator<cmp>(const ConstString<_E>& a, const ConstString<_E>& b);
// 这里<cmp>是各种比较的算符,如==、!=、<、<=、>、>=等等。

关于这些方法的更详细说明,请参阅:

可变字符串(字符串操作类)

可变的字符串(字符串操作类)包含以上ConstString提供的所有方法,另外额外提供一些字符串修改相关的操作。一般来讲,可变的字符串至少满足以下规格:

template <class _E>
concept MutableString : public ConstString<_E>
{
public:
// 清空字符串

void clear();

public:
// 赋值操作(这里进行了真正的)

MutableString& assign(const TempString<_E> b);
MutableString& assign(const value_type* pszVal, size_type cch);
MutableString& assign(size_type count, value_type ch);

template <class Iterator>
MutableString& assign(Iterator first, Iterator last);

MutableString& operator=(const TempString<_E> s);

public:
// 字符串连接

template <class Iterator>
MutableString& append(Iterator first, Iterator last);
MutableString& append(const TempString<_E> s);
MutableString& append(const _E* s, size_type cch);
MutableString& append(size_type cch, _E ch);

MutableString& operator+=(const TempString<_E> s);

public:
// 插入

template <class Iterator>
void insert(iterator it, Iterator first, Iterator last);
void insert(iterator it, const TempString<_E> s);
void insert(iterator it, const _E* s, size_type cch);
void insert(iterator it, size_type cch, _E ch);

public:
// 替换

template <class Iterator>
MutableString& replace(
iterator first, iterator last,
Iterator bfirst, Iterator blast);

template <class _RandIterator>
MutableString& replace(
iterator first, iterator last, size_type count, _E ch);

MutableString& replace(
iterator first, iterator last, const _E* s, size_type cch);

MutableString& replace(
iterator first, iterator last, const TempString<_E> s);
};

当然,一个具体的字符串实现,会有其特殊支持的一些方法。这方面的详细资料,请参阅:

 
更多相关文章
  • 一. JS: https://github.com/hacke2/hacke2.github.io/issues/11 霸天 月刊   1.基础知识: http://www.zhihu.com/question/20979831 有哪些经常被误用的 HTML.JavaScript.CSS 的元素.方 ...
  • 什么是恶意软件? 本指南将术语"恶意软件"用作一个集合名词,来指代故意在计算机系统上执行恶意任务的病毒.蠕虫和特洛伊木马. 那么,计算机病毒或蠕虫的确切含义是什么?它们和特洛伊木马之间有哪些不同之处?防病毒应用程序是仅对蠕虫和特洛伊木马有效,还是仅对病毒有效? 所有这些问题都起源 ...
  • 关于百度定位 这是官方定位的解释:geolocation 地图插件配置 我在问答里面找到了这位童鞋的百度定位,地址变更提醒*** 不过,童鞋倒是给具体的示例啊,木有~~~~(>_<)~~~~ 官方的插件配置也看的懵懵懂懂,一塌糊涂 ok,自己搞,搞了大半天基本上弄清楚了,下面就总结一下自 ...
  • 由前一篇文章 http://www.cnblogs.com/darktime/p/3407980.html 我就配置了一个环境包,免安装的,只需要运行一个.bat的文件文件就算安装成功了 如果你需要用zend加密 配置zend guard loder 那么正好可以使用, 不用再管什么非线程安全 不用 ...
  • 以下是在iOS中最简单的界面切换示例.使用了多个Controller,并演示Controller之间在切换界面时的代码处理. 实现的应用界面: 首先,创建一个window-based application,即: 使用window-base application的目的是,尽量从最基本的情况下说明程 ...
  • uBuntu VirtualBox安装XP系统上网.共享文件以及U盘问题   uBuntu系统版本:12.10,其他版本方法雷同.   一.解决上网问题 在打开VirtualBox还没进入到XP时,设置NetWork: 网络类型:bridge(桥接) 驱动类型选择:Intel PRO/1000 T ...
一周排行
  • 摘要:在实际的编程中,我们经常需要使用变长数组,但是C语言并不支持变长的数组.此时,我们可以使用结构体的方法实现C语言变长数组. struct MyData { int nLen; char data[0]; }; ...
  • 北京商报讯(记者 张绪旺)虽然取消了IPO计划,但盛大文学还是找到了融资渠道.即不久前宣布获得高盛及淡马锡投资1.1亿美元投资后,盛大文学昨日宣布获得新华社旗下新华新媒文化传播有限公司战略投资.
  • Founder创始人韩远 26岁之前在网龙Android业务部负责商务合作.团队组建和市场拓展.他的创业项目是叫"安智市场"的Android应用商店.ShowProject项目描述"每个 ...
  • ■本报记者 王 峥在拆除VIE结构回归A股的洪流中,专注于C2C模式10年的国内分类信息龙头网站百姓网近日上演了一幕"最快拆解VIE"的戏码.此外,经多方消息确认,拆解完VIE结构后的百姓网,很快 ...
  • Problem Description For a group of people, there is an idea that everyone is equals to or less than 6 steps ...
  •    英国情报机构使用创新形式招聘新人,在时下极受欢迎的电子游戏"使命召唤"中设置密码题,吸引电脑高手破译.   网站展示的待破解密码. 来源:郑州晚报         网上公开招聘35名“007 ...
  • 在mysql中存储时间,我们可以用datetime 格式,timestamp格式,也可以用int格式.那么我们设计的时候该如何考虑呢? 首先,我觉得应该明白这几个格式究竟是如何的,然后看看他们的区别,这样我们才能思考 ...
  • 1.github简介 GitHub 是一个共享虚拟主机服务,用于存放使用Git版本控制的软件代码和内容项目.它由GitHub公司(曾称Logical Awesome)的开发者Chris Wanstrath.PJ Hy ...
  • Javascript 中call函数和apply的使用: Javascript中的call函数和apply函数是对执行上下文进行切换,是将一个函数从当前执行的上下文切换到另一个对象中执行,例如: sourceObj. ...
  • 出处:http://blog.csdn.net/qij2256/archive/2007/04/20/1572890.aspx 主要概述一些有用的基础的DOM的方法以及怎样用使用javascript使用它们. 可以实 ...