最近工作中使用C语言，但又苦于没有高效的字符串实现，字符串的拼接和裁剪都比较麻烦，而且每个字符串都需要申请内存，内存的申请和释放也很容易出bug，怎么高效的实现一个不需要处理内存问题并且可以动态扩容进行拼接和裁剪的string呢？
" m+ q0 s: a: Z& ^

一个好的string应该有以下功能？

• 创建字符串
• 删除字符串
• 尾部追加字符串
• 头部插入字符串
• 从尾部删除N个字符
• 从头部删除N个字符
• 裁剪字符串
• 获取字符串长度
• 获取完整字符串
  

下面来看看各个功能的实现：
首先定义一个string的句柄，相当于C++中的实例

struct c_string;
) z/ t) A7 `/ q$ w0 }typedef struct c_string c_string_t;
! ^$ Z8 b( _' B7 B

在内部string的实现如下：

// string的初始内存大小
4 J9 N. ?) S* k+ Z9 a0 S; h' o$ istatic const size_t c_string_min_size = 32;
9 Z1 ~3 g) r8 _9 [0 Z0 [% \
struct c_string {
    char *str; // 字符串指针
6 }7 B0 \5 x/ W8 m" J    size_t alloced; // 已分配的内存大小
    size_t len; // 字符串的实际长度
};

创建字符串：

c_string_t *c_string_create(void) {
; x2 e. z, M1 m* ^$ ^- E) h    c_string_t *cs;

+ D. |# W9 g! c5 ?9 M7 W7 m  V    cs = calloc(1, sizeof(*cs));
& G6 T" K% [; D2 o7 i    cs->str = malloc(c_string_min_size);
; C. i/ ?$ }% y$ ]    *cs->str = '\0';
    // 初始分配内存大小是32，之后每次以2倍大小扩容
" r$ G+ o  D  `7 P& u: G    cs->alloced = c_string_min_size;
5 A5 z; B- E3 a. N$ k    cs->len = 0;

5 w, e, z: {2 z: P    return cs;
. d  B# c$ _9 Q. J+ @}

销毁字符串：

void c_string_destroy(c_string_t *cs) {
    if (cs == NULL) return;
    free(cs->str);
( O; l. E/ j' A. B    free(cs);
0 R3 G2 @3 o3 K}

内部如何扩容呢：

static void c_string_ensure_space(c_string_t *cs, size_t add_len) {
; ]) i7 l. ?% e! h" c& j  I    if (cs == NULL || add_len == 0) return;

    if (cs->alloced >= cs->len + add_len + 1) return;
  s0 o; z# I& X% U
4 D& `: [+ R5 i& @6 x    while (cs->alloced < cs->len + add_len + 1) {
% b) D# S/ o; U: v1 ^        cs->alloced <<= 1; // 每次以2倍大小扩容
6 R0 {$ _" A7 L6 T( _7 c$ {        if (cs->alloced == 0) {
, v, W9 M+ w( v) o3 ^$ d4 x            // 左移到最后可能会变为0，由于alloced是无符号型，减一则会变成UINT_MAX
            cs->alloced--;
5 Y3 t+ |& ?2 N        }
" j7 U1 R) ]2 |+ `# V* m' c    }
0 q2 e3 B6 Q! v. b4 k& ~! U2 d7 P$ ^6 m    cs->str = realloc(cs->str, cs->alloced);
}

在尾部追加字符串：

void c_string_append_str(c_string_t *cs, const char *str, size_t len) {
    if (cs == NULL || str == NULL || *str == '\0') return;
7 i! d& C5 D1 r! R( I* N
; J  \) }4 X2 E. }3 P( B3 p    if (len == 0) len = strlen(str);
$ V: v# |1 @4 w8 V, l, F: r( O' }
    c_string_ensure_space(cs, len); // 确保内部有足够的空间存储字符串
    memmove(cs->str + cs->len, str, len);
) ?) ]4 h4 T1 m3 t    cs->len += len;
    cs->str[cs->len] = '\0';
}

在尾部追加字符：

void c_string_append_char(c_string_t *cs, char c) {
    if (cs == NULL) return;
3 m' \' r' j' j$ S: ]/ F    c_string_ensure_space(cs, 1);
" l) ?; E/ n' ]: v    cs->str[cs->len] = c;
    cs->len++;
" }7 Z, D, s+ m7 ]9 D6 C$ O" T7 l    cs->str[cs->len] = '\0';
6 X- k4 m! ?) A6 Z$ U& G: E% m}
$ {0 e' j$ t. Q% F: T

在尾部追加整数：

void c_string_append_int(c_string_t *cs, int val) {
    char str[12];

    if (cs == NULL) return;
' e: R- e) J/ h) p
5 [1 V9 n6 Q6 s& f# S. \$ |    snprintf(str, sizeof(str), "%d", val); // 整数转为字符串
    c_string_append_str(cs, str, 0);
}

在头部插入字符串：

void c_string_front_str(c_string_t *cs, const char *str, size_t len) {
2 W' Q2 q; S$ S6 [# a. k    if (cs == NULL || str == NULL || *str == '\0') return;

    if (len == 0) len = strlen(str);

    c_string_ensure_space(cs, len);
4 S/ \# J6 }3 T. ~7 ~/ W9 E    memmove(cs->str + len, cs->str, cs->len);
    memmove(cs->str, str, len);
    cs->len += len;
    cs->str[cs->len] = '\0';
9 o- x. G6 @& c' p, [}

在头部插入字符：

void c_string_front_char(c_string_t *cs, char c) {
+ z+ f- p5 u" n& \* J; D: t% w3 i    if (cs == NULL) return;
    c_string_ensure_space(cs, 1);
' E5 v& A2 i3 p5 j  |) e    memmove(cs->str + 1, cs->str, cs->len);
/ y, Y% E' }; [    cs->str[0] = c;
. H5 P8 p/ Q( c$ e! h# A    cs->len++;
    cs->str[cs->len] = '\0';
8 q+ J  i3 O8 F$ ~* I}
  U1 j+ }' {( P" i3 L

在头部插入整数：

void c_string_front_int(c_string_t *cs, int val) {
    char str[12];

+ o9 H  N0 ^; v4 A5 G  S: ?+ c3 v% d! [$ j    if (cs == NULL) return;

: T* k) M$ x4 K    snprintf(str, sizeof(str), "%d", val);
    c_string_front_str(cs, str, 0);
0 G3 D# _. K9 i8 @- @) z}
% l7 n& C6 J0 ^# d! j9 {- ^! A2 i  w

清空字符串：

void c_string_clear(c_string_t *cs) {
8 v$ |! G* n0 }: S1 l    if (cs == NULL) return;
7 T9 \' P* ?3 B4 c( b( }" K- t- F    c_string_truncate(cs, 0);
* D$ j" i* ^& F0 X) W: j( o7 W}
+ R' Z) [4 }$ Y! j' ]: W! z! k

裁剪字符串：

void c_string_truncate(c_string_t *cs, size_t len) {
    if (cs == NULL || len >= cs->len) return;

3 N4 `3 I" ~/ P    cs->len = len;
    cs->str[cs->len] = '\0';
}
, l1 C: f8 m( A5 i& S

删除头部的N个字符：

void c_string_drop_begin(c_string_t *cs, size_t len) {
% Q6 M. Y3 b2 [, b& I! T! e- y    if (cs == NULL || len == 0) return;

+ b7 \4 H2 J5 f* Q$ o1 X    if (len >= cs->len) {
4 }6 X) y$ [2 r+ d& \1 H3 s* ]        c_string_clear(cs);
        return;
" D$ [0 ?9 u& T3 a% V" Z    }
2 i: A; q: @4 b1 |; U
    cs->len -= len;
    memmove(cs->str, cs->str + len, cs->len + 1);
}
! n+ r$ y; _( ~$ Y" e/ Y

删除尾部的N个字符：

void c_string_drop_end(c_string_t *cs, size_t len) {
- N) @) }; x4 \( {0 w0 g2 ?) y    if (cs == NULL || len == 0) return;
3 N$ s% q! w* Y2 g( M
1 R* c: L7 Q1 n8 ]) ~+ n: f    if (len >= cs->len) {
        c_string_clear(cs);
7 G4 k9 I1 b4 p. g2 c$ Z4 m# X        return;
    }
3 `" r& ^/ d5 u4 O+ I8 Q    cs->len -= len;
: B! l  A4 |& u- a    cs->str[cs->len] = '\0';
  T2 H! L4 M( E( a}
! K* g5 f8 R, B) b/ p

获取字符串的长度：

size_t c_string_len(const c_string_t *cs) {
3 s: O& m0 q( p: y0 S/ B0 C2 Q    if (cs == NULL) return 0;
0 x1 s9 k, u5 {, `  V$ a, ?    return cs->len;
  L6 e) V3 E9 M# f( W8 _, Z9 i}
* v) X% J% {7 l. v1 L6 E

返回字符串指针，使用的是内部的内存：

const char *c_string_peek(const c_string_t *cs) {
5 \) f7 d# E6 {" L9 e, U# g    if (cs == NULL) return NULL;
: Q' O" Y8 u" Q& L2 ~( x    return cs->str;
0 q3 L, U$ U; r/ ]}
0 j; ^9 ]% W6 l1 [/ `

重新分配一块内存存储字符串返回：

char *c_string_dump(const c_string_t *cs, size_t *len) {
* |, O6 z# H6 w* b' l9 C    char *out;

    if (cs == NULL) return NULL;

    if (len != NULL) *len = cs->len;
    out = malloc(cs->len + 1);
5 \- S9 e2 O) b: O0 I    memcpy(out, cs->str, cs->len + 1);
    return out;
) I" z1 ?( ]- a}
; G4 t" `. W0 n* K! m

测试代码如下：

int main() {
    c_string_t *cs = c_string_create();
    c_string_append_str(cs, "123", 0);
' R, g- Y) S% K    c_string_append_char(cs, '4');
/ `, S0 z+ E$ e* a  f/ \    c_string_append_int(cs, 5);
    printf("%s \n", c_string_peek(cs));
8 b" `- ]5 H6 P4 ]0 R    c_string_front_str(cs, "789", 0);
4 U: O9 u: n4 S+ l8 {% |( b% ~    printf("%s \n", c_string_peek(cs));
% P# @1 I! ]* r% K9 u# {    c_string_drop_begin(cs, 2);
: \) P- z9 `5 q7 d' H    printf("%s \n", c_string_peek(cs));
, [2 Y; P$ k" C. U    c_string_drop_end(cs, 2);
1 f/ F3 c; W& q    printf("%s \n", c_string_peek(cs));
5 F3 K: q! F/ f% H) l    c_string_destroy(cs);
    return 0;
5 p" O2 j; b. t3 K+ n* f}

输出：

12345
+ X* v# l- Z  D) j+ }3 L8 C78912345
912345
9123

完整代码如下：头文件：

#include <stddef.h>

4 r2 ?4 p* T% P2 @# Ostruct c_string;
typedef struct c_string c_string_t;

  t- Y  |! e  I' N2 [: `c_string_t *c_string_create(void);
+ U! O& C0 N* P7 j- t" X7 Z: P
# D" S/ }, f( O6 o& A' bvoid c_string_destroy(c_string_t *cs);

( z$ b' O3 ?- v" kvoid c_string_append_str(c_string_t *cs, const char *str, size_t len);

void c_string_append_char(c_string_t *cs, char c);
: M1 H( C* H% |  g$ C
5 i2 Y* z% W7 y$ n$ e9 h- Zvoid c_string_append_int(c_string_t *cs, int val);

void c_string_front_str(c_string_t *cs, const char *str, size_t len);
1 k( u0 e2 X, {0 h. q" `
void c_string_front_char(c_string_t *cs, char c);
9 b) s' W+ k9 D
+ c; s. i. ~- p% V' s  Ovoid c_string_front_int(c_string_t *cs, int val);
/ m+ @9 g% u, T; s/ A8 A; s0 H
% e. J6 x1 W" [1 ~7 A4 e, kvoid c_string_clear(c_string_t *cs);
+ T+ M( m% M  r' Y6 B- D/ M- U
void c_string_truncate(c_string_t *cs, size_t len);

  [/ j# b6 o8 y5 ]5 c& Evoid c_string_drop_begin(c_string_t *cs, size_t len);
& t# m, E2 i+ J8 Q! X9 J8 B
void c_string_drop_end(c_string_t *cs, size_t len);
; n3 Q# K7 Y4 ]/ ^3 c
$ U. y' c% S5 vsize_t c_string_len(const c_string_t *cs);
% \  h8 R" u  K" ?7 a0 X# `, _: H
const char *c_string_peek(const c_string_t *cs);
. Z( S/ W" H* ~! z, _+ }
0 ^# \7 P* s. P. F- H! z) d5 y! n6 `char *c_string_dump(const c_string_t *cs, size_t *len);

源文件：

#include <ctype.h>
& X9 Q  D! X+ {% s  V#include <stdbool.h>
2 O# N: {' n' B' V#include <stdlib.h>
& y8 N  h5 ^- d" y( o#include <stdio.h>
9 y: |) s. Z( V- o0 X  |! b6 G#include <string.h>
, ]# B) N8 a; ?- H8 w' m- f
' r7 k2 ]4 c5 y7 @% v1 \static const size_t c_string_min_size = 32;
) w! s$ a* _3 q& C; V9 z
struct c_string {
    char *str;
    size_t alloced;
    size_t len;
8 x; c/ c3 l' P};

' ]5 \( q+ P- W* B, `5 Wc_string_t *c_string_create(void) {
$ D) V, ?( ?$ u% s/ A/ B# W    c_string_t *cs;

    cs = calloc(1, sizeof(*cs));
- P" E4 F$ X. K9 r; e# w    cs->str = malloc(c_string_min_size);
    *cs->str = '\0';
    cs->alloced = c_string_min_size;
3 Z: U" Q  E% c# L9 S# j    cs->len = 0;
& h4 G+ O9 }& J
    return cs;
  p5 B/ \8 M7 O) E( s8 S}

void c_string_destroy(c_string_t *cs) {
    if (cs == NULL) return;
- l: @1 R) D0 \7 S' O    free(cs->str);
    free(cs);
9 |2 r6 B4 Q; S1 V  ?% k}

static void c_string_ensure_space(c_string_t *cs, size_t add_len) {
    if (cs == NULL || add_len == 0) return;

, V5 I( u0 y+ s0 Z  t/ h    if (cs->alloced >= cs->len + add_len + 1) return;
( J! z) H6 D( \  k! k& q2 ?
! a# I4 U9 i( C    while (cs->alloced < cs->len + add_len + 1) {
0 i# Q- I- @, s        cs->alloced <<= 1;
        if (cs->alloced == 0) {
% g' g, R3 l& z" [2 @( |) K/ i            cs->alloced--;
        }
( ]7 p/ W& O7 Q5 E7 |" X4 b9 r# Y; r    }
$ a8 n! S" ]: M# D4 L8 q    cs->str = realloc(cs->str, cs->alloced);
}
- ~7 }, g9 A, [; X$ c5 t
void c_string_append_str(c_string_t *cs, const char *str, size_t len) {
    if (cs == NULL || str == NULL || *str == '\0') return;
9 |, W7 R" f# V' a- T- I
* D, d6 r/ K, y    if (len == 0) len = strlen(str);

    c_string_ensure_space(cs, len);
    memmove(cs->str + cs->len, str, len);
    cs->len += len;
0 [$ Y% r4 ~6 I4 B2 A$ @    cs->str[cs->len] = '\0';
6 A- e5 n* W+ S8 q; ^}
- s( \* t9 ]/ }# Z, h
7 R& Z! I7 E5 R- T3 ?; k$ Z# Gvoid c_string_append_char(c_string_t *cs, char c) {
    if (cs == NULL) return;
0 h% `. `9 {% F( D7 r+ y- R    c_string_ensure_space(cs, 1);
$ T7 r# C0 N* s    cs->str[cs->len] = c;
3 Z1 O; `; y& E# c- C    cs->len++;
6 s. w, A4 W( G2 @# |    cs->str[cs->len] = '\0';
2 m; ^! {3 P! _4 q  n3 R- ^}

void c_string_append_int(c_string_t *cs, int val) {
( ?8 Z1 S: h& O- i    char str[12];
1 m# Q( s9 Y2 a3 O* I& b" B+ u  H
/ b0 u1 u0 i! }6 J( X    if (cs == NULL) return;

- l1 ?8 m# P+ a/ T% p, |- Z! ^    snprintf(str, sizeof(str), "%d", val);
    c_string_append_str(cs, str, 0);
}

void c_string_front_str(c_string_t *cs, const char *str, size_t len) {
; ^4 _/ s" G( q8 z! Q. l    if (cs == NULL || str == NULL || *str == '\0') return;

8 ^; [1 ?9 u7 F9 Z    if (len == 0) len = strlen(str);

, v9 Y* i( K; w: r4 \* \    c_string_ensure_space(cs, len);
    memmove(cs->str + len, cs->str, cs->len);
7 M; X* _, K# F: l+ |3 ?    memmove(cs->str, str, len);
    cs->len += len;
    cs->str[cs->len] = '\0';
& s1 x4 h7 ]. S  c( H/ Z}

! a: S( s! v, tvoid c_string_front_char(c_string_t *cs, char c) {
% Q6 k& g+ v- _* h8 t2 H. W9 l* P9 m    if (cs == NULL) return;
    c_string_ensure_space(cs, 1);
    memmove(cs->str + 1, cs->str, cs->len);
! z" a  w# m+ A9 [* X    cs->str[0] = c;
# }5 a0 Y; d+ @" M* Z" B    cs->len++;
    cs->str[cs->len] = '\0';
}
3 P! s. x) \  _% c% y
6 c8 m. i" g8 ]0 L& f7 e! |. k  lvoid c_string_front_int(c_string_t *cs, int val) {
+ K( ^. R) B/ }% M$ L    char str[12];
; v' ^7 j# f% z' _: @) R
( S- q, r6 I- q" @    if (cs == NULL) return;
& a* g6 `/ r. g( }/ K, K- K1 @: S
    snprintf(str, sizeof(str), "%d", val);
    c_string_front_str(cs, str, 0);
}
: Q, ~6 H) V6 u
void c_string_clear(c_string_t *cs) {
    if (cs == NULL) return;
    c_string_truncate(cs, 0);
}

9 `( I2 t4 r3 U# ~8 @void c_string_truncate(c_string_t *cs, size_t len) {
# U) e. `7 ~, ^8 ^    if (cs == NULL || len >= cs->len) return;

    cs->len = len;
    cs->str[cs->len] = '\0';
7 Z' W) r7 k7 Z' L+ W# G}

! g# u7 t; n: w' G6 [: c2 N( H% E. i, nvoid c_string_drop_begin(c_string_t *cs, size_t len) {
    if (cs == NULL || len == 0) return;
* m" d* q; Q) l
) Y% J1 Q7 ^6 B" \$ I% k2 o    if (len >= cs->len) {
. |" S* c! n4 q9 u        c_string_clear(cs);
3 R9 n! A0 z  p# j+ V5 N        return;
  e, q, N( O& n/ ^3 V0 Q3 T    }

    cs->len -= len;
    /* +1 to move the NULL. */
    memmove(cs->str, cs->str + len, cs->len + 1);
}

/ z8 F* b5 e& \7 D7 m/ Hvoid c_string_drop_end(c_string_t *cs, size_t len) {
    if (cs == NULL || len == 0) return;
8 g* q3 i# m4 A' K& I
    if (len >= cs->len) {
        c_string_clear(cs);
5 g8 j' ]& o# E0 Z- D/ H9 w- {        return;
7 w3 x' {) N5 ?' k/ D1 g" |    }
- X) Q8 R3 ?+ k1 Q6 H    cs->len -= len;
    cs->str[cs->len] = '\0';
7 o, G) T2 E. ]& |}
3 a: H. K  y% s+ @
+ ?, R8 N5 m) \size_t c_string_len(const c_string_t *cs) {
    if (cs == NULL) return 0;
    return cs->len;
}

const char *c_string_peek(const c_string_t *cs) {
    if (cs == NULL) return NULL;
; [# {0 H% i% z; b& O& v4 h    return cs->str;
7 {! U2 @. o9 I& G1 L( Q& N}

char *c_string_dump(const c_string_t *cs, size_t *len) {
    char *out;

0 U3 H1 f( I6 ]+ e5 {- E    if (cs == NULL) return NULL;

    if (len != NULL) *len = cs->len;
    out = malloc(cs->len + 1);
    memcpy(out, cs->str, cs->len + 1);
    return out;
}
( H' U& {" W9 u& V! v0 z& u