C言語ヘッダファイルの共通定数(マクロ)追加による影響について

Question

新人SEです。現在、C言語で作られた既存システムの改善作業を行っています。

作業にあたり、
既存の共通ヘッダファイルに新しい共通定数を定義する必要があるのですが、
この場合このヘッダファイルを参照している既存プログラムに影響(例えばビルドエラーなどの)が及ぶことはあり得るのでしょうか？

ヘッダファイルを変更した場合、そのファイルを参照する全てのプログラムがテストし直しになるという理由で改善のための変更を上から渋られています。
削除ではなく追加修正の場合、既存プログラムへの影響は論理的にありえないと考えているのですが、私の考えは間違っているでしょうか。
よろしくお願いします。

Answer 1

影響はあります。

ヘッダファイルに書く定数というのはおそらくマクロでの定義ですよね？ その場合には、ローカル変数とも名前がかぶらないようにしないと変なエラーを引き起こすことがありますね。

// foo.h
// このマクロ定義があるためにエラーになる
#define foo 2

#include <stdio.h>
#include "foo.h"

int main() {
  int foo = 1;
  printf("%d\n", foo);
  return 0;
}

逆に言えば既存の名前とかぶりさえしなければ問題にはなりません。 追加しようとする名前が既に使われていないことを検証するのはソースコードを検索すれば良いだけなので、たいした手間ではないでしょう。

一般的にはマクロは大文字にするなどといった字句規約を定めることで通常の名前とかぶらないようにしている例が多いです。

ただ、業務でやるならテストの手順が固定されていたりすることはあるので、個別の判断で問題なさそうだとしても簡単には例外を認められないというのもわからないことではありません。 そこらへんは社内での発言力というか政治力で解決する話なので技術的にはどうとも言えないのですが……。

個人的には、テストが充分に自動化できていないのが問題に思えます。

---

ここからは質問に対する回答というより、ちょっとした工夫の話です。

マクロは名前が一致さえすればあらゆる箇所で問答無用で置き換えてしまうので、可能なら避けた方が良いと言えば良いです。 const 付きの変数にするのが綺麗なやり方ではあります。 ただ、そうなると (ヘッダファイルではない) どこかで定義した変数をヘッダファイルで extern して使うということになるのでそれはそれで面倒ですね。

定数が int である場合ならば列挙定数にするなどといった工夫が知られています。

// foo.h
enum {
  foo = 2
};

これなら字句レベルでの問答無用の置き換えは起きません。

Answer 2

あり得るかどうか、と言われると、あり得ます

コードで使用しているキーワードとかぶっている場合、
あるいは、コード中でdefineで生成しているキーワードとかぶっている場合、そのような影響が出ます

ですんで、新たに作成するキーワードをよく検索して使用されてないか確認する必要があります