sprintf_s с слишком маленьким буфером

Question

Следующий код вызывает ошибку и убивает мое приложение. Это имеет смысл, поскольку буфер составляет всего 10 байтов, а текст - 22 байта (переполнение буфера).

char buffer[10];  
int length = sprintf_s(buffer, 10, "1234567890.1234567890."); 

Как я могу уловить эту ошибку, чтобы я мог сообщить об этом, вместо того, чтобы разбивать мое приложение?

Edit:

После прочтения комментариев ниже я пошел с _snprintf_s. Если он возвращает значение -1, буфер не обновлялся.

length = _snprintf_s(buffer, 10, 9, "123456789"); 
printf("1) Length=%d\n", length); // Length == 9 

length = _snprintf_s(buffer, 10, 9, "1234567890.1234567890."); 
printf("2) Length=%d\n", length); // Length == -1 

length = _snprintf_s(buffer, 10, 10, "1234567890.1234567890."); 
printf("3) Length=%d\n", length); // Crash, it needs room for the NULL char 

Answer 1

Вместо sprintf_s, вы можете использовать snprintf (a.k.a _snprintf на окнах).

#ifdef WIN32 
#define snprintf _snprintf 
#endif 

char buffer[10];  
int length = snprintf(buffer, 10, "1234567890.1234567890."); 
// unix snprintf returns length output would actually require; 
// windows _snprintf returns actual output length if output fits, else negative 
if (length >= sizeof(buffer) || length<0) 
{ 
    /* error handling */ 
} 

Answer 2

Из MSDN:

Другой Основное различие между sprintf_s и Sprintf является то, что sprintf_s принимает параметр длины, указывающий размер выходного буфера в символах. Если буфер слишком мал для печатаемого текста, тогда буфер устанавливается в пустую строку и вызывается недопустимый обработчик параметров. В отличие от snprintf, sprintf_s гарантирует, что буфер будет заканчиваться на нуль (если размер буфера не равен нулю).

В идеале, то, что вы написали, должно работать правильно.

Answer 3

Похоже, вы пишете на MSVC?

Я думаю, что документы MSDN для sprintf_s говорят, что они утверждают, что они умирают, поэтому я не слишком уверен, если вы можете программно поймать это.

Как предложил Л.Бушкин, вам гораздо лучше использовать классы, управляющие строками.

Answer 4

Это по дизайну. Вся точка sprintf_s и другие функции семейства *_s - это перехватывание ошибок переполнения буфера и их обработка как нарушения предварительных условий. Это означает, что они не предназначены для восстановления. Это предназначено только для обнаружения ошибок - вы никогда не должны звонить sprintf_s, если знаете, что строка может быть слишком большой для целевого буфера. В этом случае сначала используйте strlen, чтобы проверить и решить, нужно ли вам обрезать.

Answer 5

См. Раздел 6.6.1 от TR24731, который является версией функциональности, реализованной Microsoft, ISO C Committee. Он предоставляет функции set_constraint_handler(), abort_constraint_handler() и ignore_constraint_handler() функции.

Есть комментарии Павла Минаева о том, что реализация Microsoft не соответствует предложению TR24731 (который является «Техническим отчетом по типу 2»), поэтому вы не можете вмешиваться, или вам, возможно, придется что-то сделать отличное от того, что указывает TR. Для этого внимательно изучите MSDN.

Answer 6

Это работает с VC++ и даже безопаснее, чем при использовании snprintf (и, конечно, безопаснее, чем _snprintf):

флаг

void TestString(const char* pEvil) 
{ 
    char buffer[100]; 
    _snprintf_s(buffer, _TRUNCATE, "Some data: %s\n", pEvil); 
} 

_TRUNCATE указывает на то, что строка должна быть усечен. В этой форме размер буфера фактически не передается, что (как ни парадоксально!) является тем, что делает его настолько безопасным. Компилятор использует магию шаблонов для вывода размера буфера, что означает, что он не может быть задан неправильно (неожиданно распространенная ошибка). Этот метод может быть применен для создания других безопасных оболочек строк, как описано в моем сообщении в блоге: https://randomascii.wordpress.com/2013/04/03/stop-using-strncpy-already/