スレッドセーフであるかどうかをチェックするために使用できるメソッドのプロパティは？例えば

Question

は、私は次のように機能を持っている：

public static final Function<A,B> MAP_A_TO_B(){ 
    return new Function<A,B>() { 
     @Override 
     public B apply(A) { 
      switch (A) { 
       case 1: 
        return B1; 
       case 2: 
        return B2; 
      } 
      return B0; 
     } 
    }; 
} 

をしかし、それは方法は、任意のクラス変数への書き込みがないので、私の理解、それが必要として、スレッドセーフであるかどうかはわかりません安全です。私の仮定は正しいのですか？

ありがとうございました。

Answer 1

davmac already statedのように、MAP_A_TO_B()は、プログラムの状態に関係なく常に新しいFunction<A,B>オブジェクトを返すため、スレッドセーフです。同様に、このFunction<A,B>オブジェクトは常に同じロジックを実行するのでスレッドセーフです。switchステートメントで使用できるタイプはprimitive wrapper types, String and Enumです。最初の2つは不変でスレッドセーフで、最後はスレッドセーフです同じEnumサブタイプの2つの異なるオブジェクトが同等であることができないためです（たとえば、Fruit.APPLEとFruit.PEARは、可変状態を持っていても同等の状態になることはありません）。最終フィールドが非最終フィールドname同じ値に設定してください）。それは別段definedでない限り、assume that code is not thread-safeを：

しかし、Bのインスタンスは、私たちはあなたの例ではそれらについての情報を持っていないので、スレッドセーフではないを想定しなければなりません。さらに、型の現在のの実装がスレッドセーフであっても、型自体がそのように定義されていない場合、この実装はスレッドセーフではなく、スレッドセーフであることに依存するブレークコード。

最後に、PEDANTように、それはdefaultケースを使用して、「最後の手段」スイッチケースを定義すると良いでしょう：

public B apply(A) { 
    switch (A) { 
     case 1: 
      return B1; 
     case 2: 
      return B2; 
     default: 
      return B0; 
    } 
} 

Answer 2

MAP_A_TO_Bメソッドは、他のスレッドからアクセス可能な状態を読み取り/変更しないため、完全にスレッドセーフです。

あなたのコードは、実際にコンパイルではなく、apply方法の正確な機能は、少しかすんである：

public B apply(A) { 

パラメータは名前を持っている必要があります。

Bが型パラメータの場合、B1が正しい型であることをどのように確認できますか？

これらの問題を解決できた場合、applyメソッドのスレッドセーフティはBxの式になります。これらは他のスレッドからアクセス可能な状態（変数）にアクセスしたり変更したりしますか？

Answer 3

ではなく、メソッドの財産であること、スレッドの安全性を考える、と思いますこれはデータ項目のプロパティとして使用されます。

スレッドセーフであるためには、データ項目が不変でなければならず、すべての変更が自動的にすべてのスレッドに公開されなければならない（volatileである）か、すべてのアクセス（読み取りと書き込み） （同期化されたオブジェクト）、またはオブジェクトは静的初期化子で設定し、その後は変更しないでください。`MAP_A_TO_B`または` apply` - あなたが参照している方法

Java multi-threading & Safe Publication