void append(const char* str);

根据你提供的函数定义 `void append(const char* str);`，可以推断出这是一个用于将一个以 null 结尾的 C 字符串追加到另一个 C 字符串末尾的函数。

下面是一个示例实现：

#include <stdio.h>
#include <string.h>

void append(const char* str1, const char* str2) {
    char combined[1000];  // 假设合并后的字符串长度不超过 1000

    strcpy(combined, str1);
    strcat(combined, str2);

    printf("Combined string: %s\n", combined);
}

int main() {
    const char* string1 = "Hello, ";
    const char* string2 = "world!";

    append(string1, string2);

    return 0;
}

在上面的示例中，我们定义了 `append()` 函数，它接受两个参数 `str1` 和 `str2`，都是以 null 结尾的 C 字符串。函数内部使用 `strcpy()` 将第一个字符串复制到 `combined` 数组中，然后使用 `strcat()` 将第二个字符串追加到 `combined` 数组的末尾。最后，打印合并后的字符串。

在 `main()` 函数中，我们定义了两个字符串 `string1` 和 `string2`，然后调用 `append()` 函数将它们合并，并打印合并后的结果。

注意：在实际应用中，请确保目标字符串数组足够大以容纳合并后的结果，并避免缓冲区溢出。