プログラミング作法北海道大学.ppt

プログラミング作法 PRACTICE OF PROGRAMMING 8 ソフトウェア工学 Software Engineering 良いプログラムを作成するための経験的ノウハウが さまざまな作法としてまとめられている プログラミング作法とは プログラミングの細かな実践的ノウハウ ソフトウェア工学的な価値観 今回学ぶ内容： スタイル，テスト，デバッグ，移植性 【参考文献】 1) B. W. Kernighan, R. Pike: プログラミング作法, アスキー(2000) 2) D. Boswell, T. Foucher: リーダブルコード, オライリー(2012)　 スタイル STYLE グローバル変数の名前はわかりやすく ■グローバル変数の宣言 int nusers = 0; // ユーザの人数 int n = 0; ローカル変数の名前は短めに ■ローカル変数 int theElementIndex; // 要素の添え字 for (theElementIndex = 0; theElementIndex < nusers; theElementIndex++) elementArray[theElementIndex] = theElementIndex; int i; for (i = 0; i < nusers; i++) elem[i] = i; 関数名の付け方は統一的に 副作用が主のもの：　作用を表す動詞 　　　　　　　　　　　　add(canvas, pic), print(str) 戻り値が主のもの： 戻り値の意味を表す名詞またはget+名詞 　 length(str), getTime(date) 真偽値を返すもの： 形容詞または is+名詞 even(n), isDigit(ch) 　　　 関　数 戻り値 環　境 （グローバル変数， 入出力など） 副作用 引　数 副作用 副作用： 戻り値を返す以外の作用 【統一的な命名規則の例】 グローバルデータにコメントを struct Nvtab { /* 名前(Name)と値(Value)の対応表 */ int nval; /* 値の現在の個数 */ int max; /* 割り当て済みの値の個数 */ Nameval *nameval; /* 名前ー値ペアの配列 */ } nvtab; int nusers = 0; // ユーザの人数 int 型より列挙型が良いことも typedef enum{INSERT, UPDATE, DELETE} Status ; Status status = UPDATE; void operate(Status status) { switch(status) { case INSERT: printf("登録します。"); break; case UPDATE: printf("更新します。"); break; case DELETE: printf("削除します。"); } } (enumeration type) 列挙型 変数の宣言と代入 enum型を定義し，適切な型名を付ける 仮引数での宣言 int型のように使える bool 型より列挙型が良いことも setBoxStyle(false, false, true); typedef enum{SOLID, DOTTED} LineType; typedef enum{SHARP, CURVED} Corner; typedef enum{TOP, BOTTOM} Place; void setBoxStyle (LineType t, Corner c, Place p){ . . . }; setBoxStyle(DOTTED, CURVED, TOP); 数値はマクロより定数で定義しよう #define WIDTH 80 #define HEIGHT 24 const int WIDTH = 80, HEIGHT = 24; マクロ： ソースコードの文字列を置き換える enum { WIDTH = 80, HEIGHT = 24}; 定数： 値を変更できない変数