assert Solidity 関数は、true に評価するステートメントをチェックすることのみを目的としています。false ステートメントがこの関数に渡されると、正しく機能していないコードや、入力の検証などのために誤用されている関数が示されます。

例 1: 次のコードは、assert 関数を使用して、false ステートメントをチェックします。

contract A {
    B b = new B(7);

    function checkWithAssert(){
        assert(b.retValue() == 21);
        ...
    }

}

contract B {
    uint _par;
    constructor(uint par){
        _par = par;
    }

    function retValue() returns(uint){
        return _par;
    }
}

この式は、関数の戻り値ではなく、関数ポインタを参照するため、常に NULL 以外の値になります。

例 1: 次の条件文が通ることはありません。プログラムで定義された関数名が getChunk であるため、述部 getChunk == NULL は常に false になります。

  if (getChunk == NULL)
    return ERR;

ローカル変数はスタックに割り当てられているため、プログラムでローカル変数にポインタが戻されると、スタックアドレスが返されます。続いての関数コールではこの同じスタックアドレスを再利用する可能性が高く、このためポインタの値が上書きされます。関数のスタックフレームは戻されるときには無効であるため、上書きされたポインタは同一の変数に対応しなくなりますうまくいくと、ポインタの値が予期せず変更されます。多くの場合、ポインタが次に間接参照されるときにプログラムがクラッシュします。この問題は、原因がすっかり取り除かれていることが多いため、デバッグが困難な場合があります。

例 1: 次の関数ではスタックアドレスを戻します。

char* getName() {
  char name[STR_MAX];
  fillInName(name);
  return name;
}

静的メソッドは、クラスのインスタンスではなくクラスに属しているため、定義で上書きすることはできません。静的メソッドがサブクラスでオーバーライドされているように見える場合もあるため、混乱を引き起こし、誤ったバージョンのメソッドがコールされることもあります。

例 1: 次の例では、ユーザーを認証する API を定義しています。

class AccessLevel{
  public static final int ROOT = 0;
  //...
  public static final int NONE = 9;
}
//...
class User {
  private static int access;
  public User(){
    access = AccessLevel.ROOT;
  }
  public static int getAccessLevel(){
    return access;
  }
  //...
}
class RegularUser extends User {
  private static int access;
  public RegularUser(){
    access = AccessLevel.NONE;
  }
  public static int getAccessLevel(){
    return access;
  }
  public static void escalatePrivilege(){
    access = AccessLevel.ROOT;
  }
  //...
}
//...
class SecureArea {
  //...
  public static void doRestrictedOperation(User user){
    if (user instanceof RegularUser){
      if (user.getAccessLevel() == AccessLevel.ROOT){
        System.out.println("doing a privileged operation");
      }else{
        throw new RuntimeException();
      }
    }
  }
}

このコードは、一見問題がないように見えます。しかし、メソッド getAccessLevel() をインスタンス user にコールしているのであって、クラス User や RegularUser にコールしているのではないため、この場合は常に true が返され、instanceof が使用される場合でも、if/else ブロックのこの部分に到達するために操作が制限されます。

Java Object Serialization Specification により、開発者は、serialPersistentFields 配列内で指定して、クラスの Serializable フィールドを手動で定義できるようになります。この機能は、serialPersistentFields が private、static、および final として宣言されている場合にのみ奏功します。

例 1: 次の宣言では、serialPersistentFields が、private、static、および final ではないため、Serializable フィールドの定義には使用されません。

class List implements Serializable {
public ObjectStreamField[] serialPersistentFields = { new ObjectStreamField("myField", List.class) };
...
}

配列に対して Object.equals() をコールすることは、多くの場合誤りです。この関数は配列の要素ではなく配列のアドレスが等価かどうかをチェックするため、通常は java.util.Arrays.equals() で置き換える必要があります。

例 1: 次の例では、2 つの配列を Object.equals() 関数を使ってチェックしようとしています。

...
  int[] arr1 = new int[10];
  int[] arr2 = new int[10];
  ...
  if (arr1.equals(arr2)){
    //treat arrays as if identical elements
  }
...

これは、どこかの時点で片方の配列から他方に割り当てがない限り、ほとんどの場合実行されることのないコードです。

特定の関数ファミリはプラットフォームによっては関数またはマクロとして実装されています。関数が依存している共有リソースが、呼び出されるときに渡されるものではなく内部的に保持されるものである場合、これらの関数は同じプログラム領域内で使用される必要があります。同じプログラム領域内で使用されないと、共有リソースにアクセスできなくなります。

例 1: 次のコードは pthread_cleanup_push() を使用して、関数 routine をコールしたスレッドのクリーンアップスタックにプッシュして戻っています。pthread_cleanup_push() およびそのパートナ関数 pthread_cleanup_pop() が IBM AIX 以外のプラットフォームではマクロとして実装されているため、pthread_cleanup_push() で作成されるデータ構造は、pthread_cleanup_pop() への後続のコールで利用できなくなります。このコードは、これらの関数がマクロとして実装されているすべてのプラットフォームでコンパイルに失敗するか、あるいは、ランタイム時の動作が不正となります。

void helper() {
   ...
   pthread_cleanup_push (routine, arg);
}