私の Thrift サービスは、ミリ秒単位のタイムスタンプを表す Long 整数を受け取ることを期待していますが、PHP から来ているので、PHP thrift は自動的に私の PHP 型を thrift 型に変換することになっていることを知っています。私のコンピューターは 64 ビットだと思いますが、PHP 整数の長さはプラットフォームに依存すると思うので、プラットフォームに依存する整数の長さに依存したくありません。
現在、microtime() を取得して 1000 を掛けてから、整数に変換しています。これは、PHP を使用して long int を節約する「正しい」方法ですか?