C/C プログラマがよく立てる根拠のない仮定は何ですか?-C++-php.cn

C/C プログラマがよく立てる根拠のない仮定は何ですか?

Linda Hamilton

リリース： 2024-10-30 18:37:31

オリジナル

832 人が閲覧しました

What Unfounded Assumptions Do C/C Programmers Often Make?

C/C プラットフォームにはどのような根拠のない仮定が存在しますか?

はじめに

多くの初心者および経験豊富な C および C プログラマが頻繁に参加します誤った仮定を立てて、誤ったコードを引き起こす可能性があります。このような根拠のない仮定を認識し、異議を唱えることは、コーディングの実践を改善するために非常に重要です。

テストの推奨事項

これらの仮定を実証し、異議を唱えるために、さまざまな「考えられる」ことを調べる次のテストプログラムを検討してください。 " プログラマによって一般的に行われる仮定:

<code class="c">#include <stdio.h>
#include <stdlib.h>
#include <stddef.h>

int main() {
    // Character-related Assumptions
    EXPECT("00: ASCII is consistent", ('A' == 65));
    EXPECT("01: A-Z forms a contiguous block", (('Z' - 'A') + 1 == 26));
    EXPECT("02: Uppercase letters precede lowercase letters", ('A' < 'a'));
    EXPECT("03: A character is 8 bits", (CHAR_BIT == 8));
    EXPECT("04: Characters are signed", (CHAR_MIN == SCHAR_MIN));
}</code>

ログイン後にコピー

追加のテスト

整数の仮定:
- 整数の 2 の補数の動作をテストします: (int_max 1) == (int_min) および (INT_MAX 1) == (INT_MIN)
- オーバーシフトが常に安全かどうかを確認します: (1 << bits_per_int) == 0 および (1 << BITS_PER_INT) == 0
- 負のシフトの場合でも、左から右へのシフトが正しく機能するかどうかを調べます: (t = -1, (15 << ; t) == 7)
ポインターの仮定:
- void* が関数ポインターを格納できるかどうかをテストします: sizeof (void*) >= sizeof(void(*)())
実行の仮定:
- チェックスタックの成長方向の検出が信頼できる場合: check_grow(5, 0) != 0 および check_grow(5, 0)
その他の仮定:
- sizeof(char) が sizeof(short)、sizeof( short) が sizeof(int) より小さく、sizeof(int) が sizeof(long) より小さい
- size_t と ptrdiff_t が同じサイズかどうかを判断します: sizeof(size_t) == sizeof(ptrdiff_t)
- 関数呼び出しを使用した場合でも、部分式の左から右への評価が一貫しているかどうかを調べます: (ltr_fun(1) * ltr_fun(2) * ltr_fun(3) * ltr_fun(4), ltr_result == 1234)