На самом деле ничего странного в этом нет. Средства стандартных библиотек C и C++ часто не используют дополнительных проверок корректности аргументов в угоду эффективности. Многие средства уже предполагают, что программист сделал проверку, либо она вовсе не нужна, т.к. есть какая-то гарантия валидности аргумента. Если же сделать проверку внутри функций, то получим потерю производительности из-за лишних проверок. Возьмем простой пример:
if (str) {//Проверка на ноль
size = strlen(str);//А внутри strlen была бы еще одна проверка
} else {
printf("error\n");
}
Тоже самое можно отнести, например, к std::vector::operator[]
:
for(size_type i = 0; i < vec.size(); ++i) { //Мы не выйдем за пределы вектора
vec[i] = i;//Но в operator[] всё равно была бы еще одна проверка
}
И если с вектором всё более менее понятно - есть отдельная функция-член at
, проверяющая валидности индекса, то с strlen
чуть сложнее. Что должна вернуть эта функция, если ей передали NULL
? Нужна была бы какая-то константа для определения факта ошибки и опять же, дополнительные проверки.
К слову о том, что об этом нигде не пишут. На самом деле - пишут.
Например, на cppreference: https://en.cppreference.com/w/cpp/string/byte/strlen
Parameters
str - pointer to the null-terminated byte string to be
examined
Аргументом strlen должен быть указатель на null-terminated byte string
, коим NULL
не является.
Но можно обратиться и к стандарту C. Для strlen
никаких требования не указано, поэтому согласно
Вырезка из документа N1570
7.24.1 String function conventions
...
Unless explicitly stated otherwise in the description of a particular function in this subclause, pointer arguments on such a call shall still have valid values, as described in 7.1.4.
аргумент должен иметь валидное значение, согласно описанному в 7.1.4
:
7.1.4 Use of library functions
Each of the following statements applies unless explicitly stated otherwise in the detailed descriptions that follow: If an argument to a function has an invalid value (such as a value outside the domain of the function, or a pointer outside the address space of the program, or a null pointer, or a pointer to non-modifiable storage when the corresponding parameter is not const-qualified) or a type
(after promotion) not expected by a function with variable number of
arguments, the behavior is undefined
а согласно этому пункту, как видим, передача нулевого указателя приводит к неопределенному поведению.
cc++
? :) Те, кто интересуются С/С++ ищут вопросы по тегам С и C++. А ваш новый тег ни у кого в избранном не забит.