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

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' <p><strong>追加のテスト</strong></p>
<ul>
<li>
<p><strong>整数の仮定:</strong></p>
<ul>
<li>整数の 2 の補数の動作をテストします: (int_max 1) == (int_min) および (INT_MAX 1) == (INT_MIN)</li>
<li>オーバーシフトが常に安全かどうかを確認します: (1 </li>
<li>負のシフトの場合でも、左から右へのシフトが正しく機能するかどうかを調べます: (t = -1, (15 </li>
</ul>
</li>
<li>
<p><strong>ポインターの仮定:</strong></p>
<ul><li>void* が関数ポインターを格納できるかどうかをテストします: sizeof (void*) >= sizeof(void(*)())</li></ul>
</li>
<li>
<p><strong>実行の仮定:</strong></p>
<ul><li>チェックスタックの成長方向の検出が信頼できる場合: check_grow(5, 0) != 0 および check_grow(5, 0) </li></ul>
</li>
<li>
<p><strong>その他の仮定:</strong></p>
<ul>
<li>sizeof(char) が sizeof(short)、sizeof( short) が sizeof(int) より小さく、sizeof(int) が sizeof(long) より小さい</li>
<li>size_t と ptrdiff_t が同じサイズかどうかを判断します: sizeof(size_t) == sizeof(ptrdiff_t)</li>
<li>関数呼び出しを使用した場合でも、部分式の左から右への評価が一貫しているかどうかを調べます: (ltr_fun(1) * ltr_fun(2) * ltr_fun(3) * ltr_fun(4), ltr_result == 1234)</li>
</ul>
</li>
</ul>
<p><strong>参加と共同開発</strong></p>
<p>プロジェクトに貢献するには、次のプラットフォームを検討してください:</p>
<ul>
<li>
<strong>GitHub リポジトリ:</strong> https://github.com/lutherblissett/disenchanter</li>
<li>
<strong>スタック オーバーフロー ディスカッション:</strong> [元のスタック オーバーフローの質問へのリンク]</li>
</ul>
<p>パッチを送信したり、新しいアイデアを提供したりすることで、テスト プログラムの精度と包括性を向上させることができます。</p></stddef.h></stdlib.h></stdio.h></code>

以上がC/C プログラマがよく立てる根拠のない仮定は何ですか?の詳細内容です。詳細については、PHP 中国語 Web サイトの他の関連記事を参照してください。