很简单，D是“dog meals available”，代码在递减该变量的同时递增另一个变量：DogsFed......然后有一大堆混乱的代码试图计算其他数字（坦率地说，我懒得去尝试遵循这些数字）。
当D == DogsFed（幸运的是，两个测试数据样本都有一个偶数的狗要喂！）
少用带有描述性名称的变量！
下面的方法看起来是可行的（在编译时进行数据初始化，因为重新输入数据是很繁琐的）。首先让代码按照你想要的方式工作，然后修改它以接受用户输入（或来自文件的输入）。然后开始检查来自scanf()的返回代码！如果用户没有输入适当的数据，用户输入可能会让你的程序进入模糊地带。

#include <stdio.h>

int main( void ) {
    // a struct to facilitate compile time initialisation of data
    typedef struct {
        int nDC, nDmeals, nCmeals, nExtraCatMeals;
        char *queue;
    } case_t;

    // OP sample data for 2 test cases
    case_t cases[] = {
        { 12, 4, 2, 2, "CDCCCDCCDCDC" },
        {  8, 2, 1, 3, "DCCCCCDC" },
    };

    // deal with each batch of sample data
    for( int i = 0; i < sizeof cases/sizeof cases[0]; i++ ) {
        case_t *p = &cases[i];

        // Loop, hoping to reach end of the queue ("number of Dogs & Cats")
        int z = 0;
        while( z < p->nDC ) {
            switch( p->queue[z] ) {
                case 'D':
                    p->nDmeals -= 1; // dispense a dog meal
                    p->nCmeals += p->nExtraCatMeals; // load up on more
                    break;

                case 'C':
                    p->nCmeals -= 1; // dispense a cat meal
                    break;
            }
            // Break the loop if treading into unavailable meals.
            if( p->nDmeals < 0 || p->nCmeals < 0 ) // gone too far??
                break;
            z++;
        }
        // Yes/No as to feeding all the animals in the queue
        printf("Case #%d: %s\n", i+1, z == p->nDC ? "Yes" : "No" );
    }

    return 0;
}

输出：

Case #1: Yes
Case #2: No

尽量使用所需的最小数量的变量。人类（读者）很难跟踪太多的值，特别是当一些值增加而另一些值减少时...

编辑

为了保持更少变量的想法（供人类跟踪），以下是一种替代方案。
每天的“动物数量”是多余的，已经被删除。每次迭代，一只猫被喂食。如果迭代实际上是一只狗，那么猫是“未喂食”的，并且添加更多的猫餐。
给予一下。注意，使用添加到days[]的额外或修改的数据行进行测试是多么容易。更少的代码（正确执行）是“更好的代码”（imho）。

#include <stdio.h>

typedef struct {
    int DogMeals, CatMeals, CatPlus;
    char *pQ;
} day_t;

day_t days[] = {
    { 4, 2, 2, "CDCCCDCCDCDC" },
    { 2, 1, 3, "DCCCCCDC" },
    { 3, 1, 3, "DCCDCCDC" },
    { 3, 1, 1, "DCCDCCDC" },
};

int main( void ) {
    for( size_t i = 0; i < sizeof days/sizeof days[0]; i++ ) {
        day_t *p = &days[i];
        do {
            p->CatMeals -= 1;
            if( *p->pQ == 'D' ) {
                p->DogMeals -= 1;
                p->CatMeals += 1 + p->CatPlus;
            }
        } while( p->DogMeals >= 0 && p->CatMeals >= 0 && *++p->pQ );

        printf( "Day %d: Unfed '%s'\n", i+1, p->pQ );
    }
    return 0;
}