タイプ推論JavaScriptのサポート

Question

コンパイラAPIを使用してJavaScriptコードを処理し、タイプ推論を使用して 'object.property' PropertyAccessExpressionノードの 'オブジェクト'のタイプを予測しようとしています。 最初のサンプルブローのようなシンプルなものがうまくいきましたが、ほとんどの例が失敗しました。これが意図的なタイプの推論を使用しているのか、適切なコードを書いていないのか不思議です。ありがとうございました！以下は

var obj={prop: ''}; 
var h=obj; 
h.prop = ''; //works! 'h' show as 'obj' type 

function fx(arg) {return arg;} 
var i=fx(obj); 
i.prop = ''; //failed! type of 'i' show 'any', it should be 'obj' 

推論されたタイプを印刷するチェッカーを使用してソースコードです：

var ts = require('typescript'); 
function visit(node) { 
    ts.forEachChild(node, visit); 
    console.log(checker.getSymbolAtLocation(node.name)); 
} 

var program = ts.createProgram([process.argv[2]], {lib: ['DOM'], allowJs: true, target: ts.ScriptTarget.ES5, module: ts.ModuleKind.None}); 
var checker = program.getTypeChecker(); 
ts.forEachChild(program.getSourceFiles()[0], visit); 

Answer 1

あなたの関数がanyを返すようにiがあまりにも、タイプanyです。また、iはobjのタイプで、タイプが{prop: string}でないことはありません。 iはタイプ{prop: string}である。この場合、

function fx<T>(arg: T): T {return arg;} 
var i=fx(obj); 

：

あなたは、あなたの関数の一般的な機能を行うことができます。