Почему параметр endptr для strtof и strtod является указателем на указатель не const const?

Question

Стандартные функции библиотеки C strtof и strtod имеют следующие подписи:

float strtof(const char *str, char **endptr); 
double strtod(const char *str, char **endptr); 

Каждый из них разлагаться входную строку, str, на три части:

1. Начальная, возможно, пустой, последовательность whitespace
2. «последовательность объектов» символов, которые представляют значение с плавающей запятой
3. «Конечная последовательность» символов, которые являются неотрежимыми (и которые не влияют на преобразование).

Если endptr не NULL, то *endptr устанавливается на указатель на символ непосредственно после последнего символа, который был частью преобразования (другими словами, начало последовательности ведомой).

Я задаюсь вопросом: почему endptr, то указатель на не- указатель constchar? Не является ли *endptr указателем на строку constchar (строка ввода str)?

Answer 1

Причина проста в использовании. char * может автоматически конвертировать в const char *, но char ** не может автоматически конвертировать в const char **, а фактический тип указателя (адрес которого передается), используемого вызывающей функцией, скорее всего будет char *, чем const char *. Причина, по которой это автоматическое преобразование невозможна, заключается в том, что существует неочевидный способ, которым он может быть использован для удаления квалификации const с помощью нескольких шагов, где каждый шаг выглядит совершенно корректным и само по себе. Steve Джессоп предоставил пример в комментариях:

, если вы можете автоматически конвертировать char** в const char**, то вы могли бы сделать

char *p; 
char **pp = &p; 
const char** cp = pp; 
*cp = (const char*) "hello"; 
*p = 'j';. 

Для сопзЬ-безопасности, одна из этих линий должно быть незаконным, и так как другие все совершенно нормальные операции, он должен быть cp = pp;

гораздо лучше было бы определить эти функции взять void * вместо char **. Оба char ** и const char ** могут автоматически конвертировать в void *. (Исправленный текст на самом деле был очень плохой идеей, он не только предотвращает проверку типа, но и на самом деле запрещает объекты типа char * и const char * на псевдоним.) В качестве альтернативы эти функции могли бы принять аргумент или size_t *, храните смещение конца, а не указатель на него. Это часто более полезно.

Если вам нравится последний подход, не стесняйтесь писать такую ​​обертку вокруг стандартных функций библиотеки и вызывать свою обертку, чтобы сохранить остальную часть вашего кода const -clean и cast-free.

Answer 2

Удобство. Аргумент str помечен как const, потому что входной аргумент не будет изменен. Если endptr были const, то это должно было дать указание вызывающему , что он не должен изменять данные, на которые ссылается от endptr на выходе, но часто вызывающий абонент хочет сделать именно это. Например, я могу хотеть обнулить-завершить строку после получения поплавка из него:

float StrToFAndTerminate(char *Text) { 
    float Num; 

    Num = strtof(Text, &Text); 
    *Text = '\0'; 
    return Num; 
} 

Совершенно разумно, что хочет сделать, в некоторых обстоятельствах. Не работает, если endptr имеет тип const char **.

В идеале endptr должен иметь константу, соответствующую фактической входной константе str, но C не дает возможности указывать это через свой синтаксис. (Anders Hejlsberg talks about this при описании того, почему const был исключен из C#.)