(MISRA-C 8강) 함수 설계 규칙과 재사용 가능한 코드 작성

🎯 8강: 설계 규칙과 재사용 가능한 코드 작성

안녕하세요 여러분! 👋

오늘은 우리가 매일 쓰는 함수(Function)를 어떻게 설계해야
MISRA-C에 맞는 안전하고 깔끔한 코드를 만들 수 있는지 살펴볼게요. 🚀

---

1. 함수 인자의 개수 제한 ✋

함수에 인자가 너무 많으면 읽기도 어렵고, 사용하기도 힘들죠.
MISRA-C는 함수 인자의 개수를 8개 이하로 제한할 것을 권장합니다.

// 🚨 나쁜 예시
void process(int a, int b, int c, int d, int e, int f, int g, int h, int i);

// ✅ 좋은 예시 (구조체로 묶기)
typedef struct {
    int a, b, c, d;
} Params;
void process(Params p);

👉 인자가 많아지면 구조체로 묶거나, 기능을 나누어 설계하세요!

---

2. 재귀 호출 금지 🔄

재귀(Recursion)는 깔끔해 보이지만, 스택 오버플로우의 위험이 있습니다.
특히 임베디드 환경에서는 메모리가 제한적이기 때문에 재귀는 금지되는 경우가 많아요.

// 🚨 나쁜 예시
int factorial(int n) {
    if (n <= 1) return 1;
    return n * factorial(n - 1);
}

// ✅ 좋은 예시 (반복문 사용)
int factorial_iter(int n) {
    int result = 1;
    for (int i = 2; i <= n; i++) {
        result *= i;
    }
    return result;
}

---

3. Side Effect 없는 함수 설계 🧼

Side Effect(부수 효과)란 함수가 자신의 입력값 외의 외부 상태를 바꿔버리는 것을 말해요.
예를 들어, 전역 변수를 수정하거나 I/O를 직접 처리하는 경우가 해당됩니다.

MISRA-C에서는 함수가 입력 → 출력의 관계가 명확히 드러나도록 설계하는 걸 권장합니다.

// 🚨 나쁜 예시: 함수 내부에서 전역 변수 수정
int g_counter = 0;
void increment() {
    g_counter++;  // 외부 상태 변경 (Side Effect)
}

// ✅ 좋은 예시: 입력/출력 관계가 명확
int increment(int value) {
    return value + 1;
}

👉 이렇게 하면 함수는 예측 가능하고, 테스트하기도 쉬워집니다!

---

🎯 오늘의 핵심 정리

함수 인자는 8개 이하로 → 가독성과 유지보수성 UP

재귀 호출은 금지 → 안전한 반복문 활용

Side Effect 없는 함수 설계 → 신뢰성과 테스트 용이성 강화

---

📢 다음 회차 예고

👉 MISRA-C와 정적 분석 도구 활용 전략 🛠️
“규칙을 자동으로 검사해주는 도구 활용법”을 알아봅니다. 기대해주세요! 🎉