Java并發程式設計規則：無狀态對象永遠是線程安全的

規則說明：

無狀态對象即無狀态類，是指其本身沒有内部變量和外部變量的操作的，在每個使用者通路的線程棧中都是一個各自的執行個體。

線程安全的表現：

一個線程對該類的通路不會影響其他線程的通路結果。

線程安全的無狀态類示例：

package net.jcip.examples;

import java.math.BigInteger;
import javax.servlet.*;

import net.jcip.annotations.*;

/**
 * StatelessFactorizer
 *
 * A stateless servlet
 * 
 * @author Brian Goetz and Tim Peierls
 */
@ThreadSafe
public class StatelessFactorizer extends GenericServlet implements Servlet {

    public void service(ServletRequest req, ServletResponse resp) {
        BigInteger i = extractFromRequest(req);
        BigInteger[] factors = factor(i);
        encodeIntoResponse(resp, factors);
    }

    void encodeIntoResponse(ServletResponse resp, BigInteger[] factors) {
    }

    BigInteger extractFromRequest(ServletRequest req) {
        return new BigInteger("7");
    }

    BigInteger[] factor(BigInteger i) {
        // Doesn't really factor
        return new BigInteger[] { i };
    }
}
           

注意：一個線程通路的StatelessFactorizer不會影響其他線程通路StatelessFactorizer的結果，兩個線程不共享狀态，如同是在通路兩個執行個體。