Корректность теста PopBadArgs

[Mako-D]

В данном тесте предлагается сделать вложение в стек массива из 5 элементов

const size_t size = 5;
const int data_in[size] = {1};
stack_push(stack, &data_in, sizeof(data_in)); // В стеке [1,0,0,0,0]

После этого создаётся выходной массив, состоящий из 4-х элементов и идет обращение к стеку, чтобы получить данные

int data_out[size - 1] = {0};
stack_pop(stack, data_out, sizeof(data_out)); // ???

Тестирующая программа ожидает получить на выходе четыре 0,

EXPECT_THAT(data_out, ::testing::Each(0)); // Программа ожидает на выходе 0,0,0,0
// То есть программа ожидает, что мы начнем читать массив из стека "справа-налево" [1,0,0,0,0]<-
// Хотя добавлялись не элементы массива поочередно, а сразу весь массив
// То есть именно массив у нас является элементом стека

Но это значит, что программа ожидает поэлементного добавления массива в стек, что-то вроде

stack_push(stack, &data_in[0], sizeof(data_in[0]));
stack_push(stack, &data_in[1], sizeof(data_in[1]));
// ...
stack_push(stack, &data_in[4], sizeof(data_in[4]));

В ТЗ особых требований по работе с массивом элементов не было, но есть указание, что данные не типизированы. Разумно расценивать массив, как один элемент, который загружается в стек. Поскольку индексирование массива идёт с первого элемента, то разумно ожидать на выходе из стека [1,0,0,0], а не [0,0,0,0]

[czertyaka]

Но это значит, что программа ожидает поэлементного добавления элементов массива в стек, что-то вроде

Не совсем. В строках

const size_t size = 5;
const int data_in[size] = {1};
stack_push(stack, &data_in, sizeof(data_in));

В стеке в итоге оказывается не 5 элементов {1, 0, 0, 0, 0}, а один элемент размера 5 * sizeof(int). Требований работы с массивами в ТЗ нет, потому что библиотека не знает ничего о принимаемыз данных. Для нее данные -- это просто указатель на участок и его размер. Там может быть один int, структура, неинициализированный участок или массив.

[czertyaka]

И еще уточню на всякий случай: рассматриваемый нами тест написан для проверки ситуации, в которой пользователь передал неверные аргументы в функцию stack_pop. В данном случае, он положил в стек элемент размером 5* sizeof(int), а затем просит вытащить его и положить в буфер недостаточного размера 5* sizeof(int).

Поэтому в этой строке

EXPECT_EQ(stack_pop(stack, data_out, sizeof(data_out)), 0u);

ожидается, что stack_pop вернет 0 (как бы говоря, я положила 0 байт в твой буфер, так как места в нем недостаточно); а в строке

EXPECT_THAT(data_out, ::testing::Each(0));

мы просто проверяем, что библиотека нас не обманула, и действительно ничего не записала в data_out. Там до этого были нули, они там и остались.

[czertyaka]

Ваш запрос обратил мое внимание на другую проблему в тестах. Я на самом деле хотел, чтобы весь массив data_in был инициализирован -1, а по невнимательности написал по аналогии с = {0};. Это поправлю сейчас.

[Mako-D]

Спасибо!
Забыл, что в случае такого объявления массива

const int data_in[size] = {1};
stack_push(stack, &data_in, sizeof(data_in));

в нем будет лежать не [1,0,0,0,0], а в [1,1,1,1,1], потому не совсем корректно понял сам тест.

[czertyaka]

Спасибо! Забыл, что в случае такого объявления массива

const int data_in[size] = {1};
stack_push(stack, &data_in, sizeof(data_in));

в нем будет лежать не [1,0,0,0,0], а в [1,1,1,1,1], потому не совсем корректно понял сам тест.

Тут вы как раз полностью правы были)

[czertyaka]

Я вам инвайт коллаборатора направил, если хотите добавлю в ревьюверы пулл-реквеста с исправлением теста

[Mako-D]

В данном случае, он положил в стек элемент размером 5* sizeof(int), а затем просит вытащить его и положить в буфер недостаточного размера 5* sizeof(int).

Ответственность за корректность "вытаскивания" элементов из стека лежит не на пользователе?

[Mako-D]

Я вам инвайт коллаборатора направил, если хотите добавлю в ревьюверы пулл-реквеста с исправлением теста

Да, буду за

[czertyaka]

В данном случае, он положил в стек элемент размером 5* sizeof(int), а затем просит вытащить его и положить в буфер недостаточного размера 5* sizeof(int).

Ответственность за корректность "вытаскивания" элементов из стека лежит не на пользователе?

На пользователе. Он должен представить буфер, с размером не меньшим, чем размер верхнего элемента в стеке. Это следствие того, что данные в буфере не типизированы.

[Mako-D]

Разве это тогда не проблема пользователя, что он предоставил размер массива меньший (из 4 * size(int)), чем размер элемента стека (5 * size(int))?

[czertyaka]

Разве это тогда не проблема пользователя, что он предоставил размер массива меньший (из 4 * size(int)), чем размер элемента стека (5 * size(int))?

Ну да, это его проблема) Но это не значит, что надо намеренно выходить за границы массива или нарушать гранулярность данных , обрезав их до нужного размера. Библиотека спокойно сообщает о том, что пользователь передал указатель на участок памяти недостаточного размера. Это стандартная практика в С.

С другой стороны, если пользователь создал буфер размера 4 байта, а сам передал в stack_pop аргумент size == 8, то от такой ситуации никак не спасешься. Библиотека не гарантирует, что программа продолжить работать корректно после такого вызова.