编程与调试 -- 怎么写好代码？断言 vs 异常（团队内部交流）

assert(i++ < 100); // i++ 这个逻辑就丢了。Release 和 Debug 版本就存在不一致性。

char* strdup(char* str) {
    int length = strlen(str);
    char* strnew = memcpy(malloc(length), str, length);
    return strnew;
}

// 申请创建 str 的拷贝。当 str == NULL，程序无定义。
char* strdup(char* str) {
    // 因为它被用来检查在该程序正常工作时绝不应该发生的非法情况。
    assert(str != NULL); // 正确的 断言 使用。
    char* strnew = (char*) malloc(strlen(str) + 1);
    // 最终产品中肯定会出现并且必须对其进行处理的错误情况。
    assert(strnew != NULL); // 错误的断言使用，因为内存申请真的可能不成功。
    strcpy(strnew, str);
    return strnew;
}

// 申请创建 str 的拷贝。当 str == NULL，程序无定义。
char* strdup(char* str) {
    assert(str != NULL);
    char* strnew = (char*) malloc(strlen(str) + 1);
    if (strnew != NULL) {
        strcpy(strnew, str);
        assert(strcmp(strnew, str) == 0); // 断言一样
    }
    return strnew;
}

// const 保证参数不会搞反，想用错都难。
char* strcpy(char* dest, const char* src) {
    // 断言，Debug 版本生效。
    assert((dest != NULL) && (src != NULL));
    // 入参检查，特殊情况处理。
    if (src == NULL || dest == NULL) { // 还能再抢救一下？
        // Release 极端断言情况发生了，蓝屏。
        // 特殊处理一下，让问题转移？
        return dest; // 建议做法
    }
    char* address = dest; // 功能逻辑
    while ((*dest++ = *src++) != '\0')
        NULL;
    return address;
}

int resetBufferSize(int nNewSize) {
    // 在函数开始处检验传入参数的合法性
    // 异常输入，程序的逻辑未定义。
    // 说明这个函数的使用者用错函数了。
    assert(nNewSize >= 0);
    assert(nNewSize <= MAX_BUFFER_SIZE);
    ...
}

void* memcpy(void* dst, const void* src, size_t count) {
    // 安全检查
    assert(dst != NULL && src != NULL);

    unsigned char* pdst = (unsigned char*)dst;
    const unsigned char* psrc = (const unsigned char*)src;

    bool overlap = (psrc <= pdst && pdst < psrc + count) ||
                   (pdst <= psrc && psrc < pdst + count);

    // 防止内存重复。
    assert(!overlap); // Debug 版本。
    if (overlap) { // 覆盖处理，早期暴露，有一个 DirectX API 就是这样做的。
        // 让 Release 不稳定的 bug，稳定出现。
        // 将错误早点暴露出来
        while (count--) {
            *pdst++ = 0;
        }
        return dst;
    }

    while (count--) {
        *pdst++ = *psrc++;
    }
    return dst;
}

#ifdef _DEBUG // IDE 内置的一个宏，不同 IDE 存在差异。
... // 代码块，各种检查。
#endif

bool VInfoEngine::runProbe(const QString& filename, int timeout) {
    bool temp = m_probe->runx(filename, timeout); // JSON 解析
#if _DEBUG
    m_probe_regex->runx(filename, timeout); // 命令行正则解析
    m_probe_regex->assertEqual(m_probe);
#endif
    return temp;
}

// bitrate 以为是 1024，其实是 1000，不知道正确与否，反正正则版本是这样算的。
bitrate = (qjson.value("bit_rate").toDouble() / 1000);

// 返回 0 表示成功。
// 外面需要把结果内存申请好，要和输入图片一样即可，并合理释放。
int getGrayBitmap(FastImage fimage, FastImage& result, bool clearBackgroud) {
    assert(fimage.format == FastImageType::FastImageRGBA8888);
    assert(fimage.width > 0 && fimage.height > 0 && fimage.pixels != nullptr);
    assert(result.format == FastImageType::FastImageRGBA8888);
    assert(fimage.width == result.width && fimage.height == result.height && result.pixels != nullptr);

    cv::Mat mrgba(fimage.height, fimage.width, CV_8UC4, fimage.pixels);
    cv::Mat dst = mrgba.clone();

    cv::cvtColor(mrgba, dst, CV_RGB2GRAY);
    return matToBitmap(dst, false, result);
}

TlsSetValue(key, GetCurrentThreadID());

bool Utils::IsVip() {
    ASSERT(TlsGetValue(key) != GetCurrentThreadID());
}

#include <string.h>
#include <stdio.h>

int main() {
    char str[80] = "This is - test # website";
    const char s[] = "-#";
    char* token;

    /* 获取第一个子字符串 */
    token = strtok(str, s);

    /* 继续获取其他的子字符串 */
    while (token != NULL) {
        printf("\"%s\"\n", token);
        token = strtok(NULL, s);
    }
    // 注意分割处理后原字符串 str 会变，变成第一个子字符串：混蛋。
    printf("\n\"%s\"\n", str);
    return(0);
}