JavaScriptで関数の処理の比較

Question

JavaScriptについて質問をさせてください。
関数の中身(処理)自体の比較をしたいのですがどのように記述すればよいのかがわかりません。

該当のソースコード

var a = function(){ var c = 1 + 1;};
var b = function(){ var c = 1 + 1;};
console.log( a === b );
//結果... true
//↑このように関数の中身を比較したい

補足情報

もちろん比較演算子がこのような機能を持っていないことは理解していますし、
オブジェクト指向である言語でこのような事をしてもよいか考えましたが、
勉強の為にもJavaScriptでどこまでできるのかが気になり質問させていただきます。

Comments

[kei344]

（質問文は編集できます）「比較したい」について、「何のために」「どういう処理がしたくて」の部分を質問文に追記してください。

Answer 1

関数の中身(処理)自体の比較をしたいのですがどのように記述すればよいのかがわかりません。

汎用的に実行可能な方法は、言語を問わず原理的に存在しないことが証明されています。

「停止性問題」といって、「関数が必ず停止する」かどうかを、どのような関数についても有限の時間内に正しく判定する方法が存在しないことが知られています。よって、「止まるかどうかわからない関数」と「ただ無限ループして永遠に停止しない関数」を比較しても結果が得られない、という結論になります。

Answer 2

こういう事なのか解りませんが、
ソースコードを文字列として比較なら、

処理系依存になりますが。Chromeの JavaScript (node)

var a = function(){ var c = 1 + 1;};
var b = function(){ var c = 1 + 1;};

console.log(a.toString() == b.toString());

// 但し、宣言の仕方によっては変わります。必要に応じて整形する。

function c(){ var c = 1 + 1;};

console.log(c.toString()); // => "function c(){return 1 + 1;};

組み込み型のメソッドには使えない等、制限はあります。
FireFox には、整形済みのソースを返すtoSource()メソッドもあるそうです。

https://developer.mozilla.org/ja/docs/Web/JavaScript/Reference/Global_Objects/Function/toSource

Answer 3

jsはオブジェクトは参照渡しのような挙動をしますが
完全に同じものを参照しているだけなので比較をするとtrueになります
同じことをやっていても参照先が違えば比較はfalseになります

Comments

[yambejp]

var a = function(){ return function(){var c = 1 + 1;}};
var b = a;
var c = a;
console.log( b === c ); //true

var a = function(){ return function(){var c = 1 + 1;}};
var b = a();
var c = a();
console.log( b === c ); //false

Answer 4

今回のケースは、trueになることはありえません。
比較ができない理由に関しては、maisumakunさんのご回答通りですが、
関数ではなく、他のオブジェクトも同様に、今回のように、オブジェクトの代入ではなく、新たな値としての変数宣言では、比較した時偽となります。

const a = {val: 25, text: 'hoge'};
const b = {val: 25, text: 'hoge'};

console.log(a == b); // false

これは、たとえオブジェクトの中身が同じ内容であったとしても、
bが宣言された時点で、新しいオブジェクトがメモリに保持され、bは、その新しいオブジェクトの参照となるからです。
つまり、aとbは本質的には別物になってしまうわけです。
これは実はプリミティブの値であっても同様のことが起きています。

const a = 25;
const b = 25;

// 値自体は同じでも、aとbは別の25を参照している

ただし、プリミティブ値の場合は、オブジェクトと違い、
比較演算時は値自体を評価するため、

console.log(a == b); // true

となります。

ここら辺は、参照について勉強されると、理解が深まるかと思います。

なので、今回のように関数の中身自体を比較するには、
そのままでやるならば、
比較時に、JSON文字列化して、文字列で比較をし、無理やり行うか、
関数オブジェクトの各プロパティが同じであり、値も同じと、再帰的に潜って比較、
などしていくしかないかと。