メンバ関数を使った場合
以下のコードを考える。
class Foo
{
public :
double Calc(){
Init() ;
// ※1
CaldParam_1() ;
CaldParam_2() ;
return param_2 ; // ※2
}
private:
void Init() { … }
void CaldParam_1() { … }
void CaldParam_2() { … }
private:
double base_value ;
double param_1 ;
double param_2 ;
} ;
このコードにおいて、戻り値の値は誤っているが、
※1 の時点での param_2 の値は正しかったとする。
この時、Init の実装は正しく、CaldParam_1,CaldParam_2 のどちらか(又は両方)が誤っていると考えられる。
フリー関数を使った場合
先程のコードを、フリー関数を用いて以下へ書き換えが出来たとする。
namespace {
pair<double,double> Init() { … }
pair<double,double> CaldParam_1( const double base_value, const double param_1, const double param_2 ) { … }
double CaldParam_2( const double base_value, const double param_2 ) { … }
} // namespace
class Foo
{
public :
double Calc(){
std::tie( base_value, param_2 ) = Init() ;
// ※1
std::tie( param_1, param_2 ) = CaldParam_1( base_value, param_1, param_2 ) ;
param_1 = CaldParam_2( base_value, param_2 ) ;
return param_2 ; // ※2
}
private:
double base_value ;
double param_1 ;
double param_2 ;
} ;
先程と同様に、戻り値の値は誤っているが、
※1 の時点での param_2 の値は正しかった場合、
フリー関数版であれば、CaldParam_1 の方が間違っていると分かる。
まとめ
フリー関数を使うことで、出入力が明確になります。
不具合を探るエンジニアは、犯人を探す探偵のようなものです。
例えば、出入り口が1つだけなら犯人が絞りやすいですが、
事が起こったのが公園のど真ん中であれば、犯人を絞るのも一苦労です。
変数を無為に public とすべきで無いのと同様に、
無為にメンバ関数を使わ無いようにするのが良いでしょう。