检查字符串是否可以在C中变异

Question

假设我有这个功能：

void f(char *s) {
    s[0] = 'x';
}

此功能有时会导致错误，有时不会。例如，

char *s = "test";
f(s); // Error

char t[] = "test";
f(t); // Success

在f函数内部，是否可以先判断s[0] = 'x';会不会出错？

Answer 1

调用者有责任遵守函数的要求，即参数是可变的，而不是相反。

const char *s = "test";     //  tell compiler s is immutable
f(s);                       //  compilation error since f() requires a non-const argument

char t[] = "test";
f(t); // Success

在上面阻止编译器拒绝 f(s) 的唯一方法是从 s 的声明中删除 const，或者将 const'ness 去掉。除了极少数情况外，两者都是问题的积极指标。

注意：在没有 const 限定符的情况下可以声明 s 是一种语言异常。练习在需要的地方使用 const（例如，在使用字符串字面量初始化指针时）。这样就消除了很多程序错误。

Answer 2

鉴于我收到的反馈，听起来我应该记录该函数是否要求其参数是可变的。例如：

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

char* f(char*);
void g(char*);

int main(int argc, char *argv[]) {
    // s is immutable.
    char *s = "test";
    puts(f(s));

    // t is mutable.
    char t[] = "test";
    g(t);
    puts(t);
}

/*
 * Returns a copy of the given string where the first character is replaced with 'x'.
 * Parameter s must contain at least one character.
 */
char* f(char *s) {
    char *t = strdup(s);
    t[0] = 'x';
    return t;
}

/*
 * Replaces the first character of the given sting with 'x'.
 * Parameter s must contain at least one character and be mutable.
 */
void g(char *s) {
    s[0] = 'x';
}