目前的解决方案可能会导致不可预测的输出，它只是感觉不对。
1.使用assert()验证后置条件，或将消息记录到stderr并调用abort()。

/* NOTE: assert() will be disabled in non-debug builds. */

assert (width > 0 && height > 0)

/* Or */

if (width <= 0 || height <= 0) {
    fprintf (stderr, /* Error message */ );
    abort();
}

1.接受一个out参数作为指针，并使用它返回一个错误代码。

void set_dimensions(int width, int height, struct rectangle_t* rectangle, int *err_status)

1.将函数的返回类型从void更改为int，然后可以遵循POSIX约定，失败时返回-1，成功时返回0，或者类似的操作。

/* 
*  @return Upon successful return, set_dimensions() shall return 0.
*          Otherwise, -1 is returned to indicate failure.
*/
int set_dimensions(int width, int height, struct rectangle_t* rectangle) {
   ....
}

您可以使用setjmp和longjmp模拟类似于Java异常的内容：

#include <stdio.h>
#include <stdlib.h>
#include <setjmp.h>

jmp_buf error;

struct rectangle_t { int width, height; };

void set_dimensions(int width, int height, struct rectangle_t *rectangle)
{
    if (width <= 0 || height <= 0)
    {
        longjmp(error, 1);
    }
    else
    {
        rectangle->width = width;
        rectangle->height = height;
    }
}

int main(void) 
{
    struct rectangle_t rectangle;

    if (setjmp(error))
    {
        fprintf(stderr, "set_dimensions fail\n");
        exit(EXIT_FAILURE);
    }
    set_dimensions(0, 1, &rectangle);
}