Код: Выделить всё
struct foo
{
char * ptr; // first byte of the block
char * end; // the byte after the last byte of the block
};Код: Выделить всё
struct bar
{
char * ptr; // first byte
size_t len; // the size of the block
};
ajkj3em писал(а): struct foo
{
char * ptr; // first byte of the block
char * end; // the byte after the last byte of the block
};[/code]Код: Выделить всё
struct bar { char * ptr; // first byte size_t len; // the size of the block }; // size_t as per <stddef.h>[/quote] Мне нравится второй. Сам так писал. .
инвариант здесь -aissp писал(а):Common :)
struct MemChunk {
size_t len;
char* block;
char* next;
}
Спрашивается что тут делает нехт? :) если идиот может туда чего записать:) И есть ли тут инвариант с точки зрения чунка? :)
Код: Выделить всё
Все мувы работают с указателем и размером. В принципе и в первом случае - вычисляемо - но это гланды через ж... как в том анекдоте next < block && block+len <= nextинвариант - вто condition(s), который накладываетcя на содержимоеMarmot писал(а):Пппереведи...ajkj3em писал(а): правильный ответ - во втором случае у структуры нет инварианта
у первой структуры есть инвариант -My rule of thumb is that you should have a real class with an interface and a hidden representation if and only if you can consider an invariant for the class
Код: Выделить всё
ptr <= end