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' < 'a'));
    EXPECT("03: A character is 8 bits", (CHAR_BIT == 8));
    EXPECT("04: Characters are signed", (CHAR_MIN == SCHAR_MIN));
}

추가 테스트

• 정수 가정:

  • 정수의 2의 보수 동작을 테스트합니다: (int_max 1) == (int_min) 및 (INT_MAX 1) == (INT_MIN)
  • 과속 변속이 항상 안전한지 확인합니다: (1 << bit_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) < 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)

  참여 및 협력 개발

  프로젝트에 기여하려면 다음 플랫폼을 고려하세요.

  • GitHub 저장소: https://github.com/lutherblissett/disenchanter
  • 스택 오버플로 토론: [원본 스택 오버플로 질문 링크]

  패치를 제출하거나 새로운 아이디어를 제공하면 테스트 프로그램의 정확성과 포괄성을 높이는 데 도움이 될 수 있습니다.

  위 내용은 C/C 프로그래머는 어떤 근거 없는 가정을 자주 합니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!