자바에 대한 추론 지원

Question

JavaScript 코드를 처리하기 위해 컴파일러 API를 사용하고 Type 추론을 사용하여 'object.property'PropertyAccessExpression 노드에서 'object'유형을 예측하려고합니다. 첫 번째 샘플 송풍과 같은 간단한 것들이 잘 작동했지만 대부분의 예제가 실패했습니다. 이것이 TypeScript 형식 추론을 사용하는 의도적 인 방법인지 또는 적절한 코드를 작성하지 않았기 때문에 궁금한 점이 있습니까? 고맙습니다! 함수가 any 그래서 i 유형 any이다 리턴으로도

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

:

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' 

다음은 추론 유형을 인쇄 검사기를 사용하여 소스 코드입니다. 또한 i은 유형 {prop: string} 인 obj 일 수 없습니다. i이 유형 {prop: string}이다이 경우

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

:

당신은 당신의 기능을 일반적인 기능을 할 수 있습니다.