Блог

В следующем фрагменте у меня есть struct IndexError , который я возвращаю, когда пользователь допустил ошибку, используя мою библиотеку. У меня есть функциональный макрос, который приводит указатель на IndexError* и перечисление, оба вызываются INDEX_ERROR .

 enum errors {
    SUCCESS,
    INVALID_ARGUMENT,
    INDEX_ERROR
};

struct Error {
    char error_buff[BUFSIZ];
};

typedef struct Error Error;

struct IndexError {
    Error  parent;
    size_t invalid_index;
    // etc.
};

typedef struct IndexError IndexError;


#define INDEX_ERROR(obj) ((IndexError*) obj)
  

Примером того, как я бы использовал это, является:

 size_t pos = 4;
int IndexPointer* error = NULL;
int status = array_remove_item(my_array, pos, amp;error);
  

Затем я проверяю статус. Если он не возвращает SUCCESS , я бы проверил ошибку, потому что это должно указывать на вновь созданную ошибку.

Реализация одной из функций массива может выглядеть следующим образом:

 int array_remove_item(Array* array, size_t pos, Error** error_out)
{
    Error* error = NULL;
    if(pos >= array->size) {
        index_error_create(INDEX_ERROR(amp;error), pos); // use casting macro.
        *error_out = error;
        return INDEX_ERROR; // is this the macro or the value from the errors enum?
    }
    priv_array_remove_item(array, pos);
    return SUCCESS;
}
  

Итак, мой вопрос в том, return INDEX_ERROR; вернет ли INDEX_ERROR значение из перечисления, или препроцессор укусит меня, потому что мое именование неудобно?

 return INDEX_ERROR; // is this the macro or the value from the errors enum?
  

Это перечислитель. Это не может быть результатом расширения функционального макроса, потому что за ним не следует сразу левый парный ( маркер, поскольку для препроцессора требуется¹.

Правда, он немного вонючий. Разные имена для макроса и перечислителя сделают код более понятным и самоочевидным без необходимости читать спецификацию языка, напечатанную мелким шрифтом.

_{¹ — n1570 6.10.3p10 «Каждый последующий экземпляр функциональноподобного имени макроса, за которым следует a (поскольку следующий токен предварительной обработки вводит последовательность токенов предварительной обработки, которая заменяется списком замены в определении»}