嘘のコードに気をつけるべきですか？

これは、回答のディスカッションとこの質問のコメントを参照しています。業界でのドキュメントへの嫌悪とは何ですか？。その答えは、「コードは嘘をつくことができない」ので、ドキュメントの代わりに頼りになる場所であるべきだと主張しました。いくつかのコメントは「コードは嘘をつくことができる」と指摘しました。少なくとも部分的にはドキュメントの扱いが不十分で不適切であるために、双方に真実があります。

嘘のコードを探して、既存のドキュメントと比較する必要がありますか？それともそれは通常それがしている必要があることのための最良の情報源ですか？それがアジャイルコードである場合、それは嘘をつく可能性が低くなりますか、それともそのコードはまったく嘘をつきませんか？

素人の言葉で：

はい、うそをつくコードを検索し、それが真実を伝えるようにする必要があります。しかし、それをドキュメントと比較することによってではありません。それは嘘をつく文書を検出するための方法でしょう。

コードが存在する可能性のある方法はいくつかありますが、そのうちのいくつかを紹介します。

• 満たされない条件のために実行されないコードのブロック。コードはそれがどれほどのことをするかについてあなたに嘘をついています。
• 不必要な複雑さを追加するコードは、問題が実際にどれほど複雑かについてあります。
• 命名規則のないコードは、それが実際に行っていることとは異なる何かを行うと誤解させるためにあります。

短いほど、それは少なくなります。それは自明です。

コードが複雑でないほど、透過性が高くなります。だから、それは少ないです。

難解な構文のトリックはたくさんあります。明確で段階的なアルゴリズムを優先します。彼らはあまり嘘をつきません。

優れた静的コード分析ツールは、あるコードを見つけるのに役立ちます。

また、優れた自動テストバッテリーは、コードに強制的に真実を伝えます。

コードは嘘をつかない。

コードに含まれるのは、ドキュメント、QA、または顧客の発言に関係なく、プログラムが現在実行していることです。特に、コードがリリースされてしばらくの間フィールドにある場合は、その予想される動作を無視してはなりません。

コードは確かに正しくない可能性があります。それは確かにその名前や組織で誤解を招く可能性があります。それは確かに判読できません。

しかし、あなたはあなたのコードが何であるかのための真のソースかどうやってあなたはそれをやっていた...あなたはそれが実際にやっているかを知る必要がある場合に考えたもの、それが行うように設計されたもの、行うことになっているもの、ないではないではありません、コードに移動します。

あなたはいくつかの質問をします。

私たちは嘘のコードに目を光らせるべきですか？

もちろん！

[コード]を既存のドキュメントと比較する必要がありますか？

他の回答で述べたように、多くの場合、これはコードではなくドキュメントで問題を見つけることになりますが、それによって害が生じることは決してありません。

それとも、[コード]は通常、実行する必要のある最も優れたソースですか？

それは、常にそれが何のための最高のソースですされてやって。コードが何をすべきかについての最良のソースは、さまざまなものの（組み合わせ）ですが、主なものは次のとおりです。

• コード自体。
• 呼び出しコード。
• そのコード内のコメント。
• ドキュメンテーション;
• ユニットテスト;
• 統合および回帰テスト。
• プログラマー。
• エンドユーザー。

「最適な」ソース（またはその組み合わせ）は、状況によって異なります。

それがアジャイルコードである場合、それは嘘をつく可能性が低くなりますか、それともそのコードはまったく嘘をつきませんか？

「アジャイルコード」の意味がわかりません。AFAIKの「アジャイル」は通常、コーディングプロセスを指します。「アジャイルプログラミングプロセスで作成されたコード」を意味するとしたら、それはまだ嘘であると言っても安全だと思います。たとえば、ウォーターフォールスタイルのプロジェクトで作成されたコードと比較して、うそになる可能性は主観的な問題です（個人的には、大きなつながりはないと思います）。

脚注
上記はすべて、コードが嘘をついている可能性があること、およびこれは基本的な（少し工夫されている）例であることを前提としています。

public int DivideByTwo(int input) 
{
    return input / 3;
}

これは私が「コード嘘」と言った一例にすぎず、@ user61852には他にもいくつかあり（到達不能なコード、コードの複雑さは問題の複雑さと一致しない、不適切な命名）、もっとたくさんあると思います。ウィキペディアには、ある程度まともな嘘の要約があり、それらの多くはコードで見つけることができます。

注あなたは誰かと口論している場合は、その非常に必ず他の人の「コードは、それが何をするかない」という「嘘はできませんコード」によって意味するものではありません。本質的に、ここの他の人は、「コードは嘘をつかない」というステートメントを公理/基本的な真実として宣言できるほど狭い「嘘」の定義を使用して定義しています。この場合、おそらく彼/彼女の公理に同意するのが最善です。

if (x > 5) {
  doSomething();
} else {
  doADifferentThing();
}

「嘘」という言葉が技術的に適切であるかどうかについて議論することができますが、このコードは、xが5より大きい場合とそうでない場合があることを明確に示しています。プログラム全体を見て、この関数が1か所でしか呼び出されず、xが常に定数6に設定されていることを発見した場合、それは嘘です。

さらに、コンパイラはこれに気づいて、このコードブロックを単に

doSomething()

doADifferentThingがプログラムの他の場所で呼び出されない場合、プログラムから完全に削除される可能性があります。

あなたの言語assertがプロダクションビルドで無効にされているある種のをサポートしている場合、各assertステートメントは潜在的に嘘です。型キャストは嘘かもしれないもう1つの主張です。