이것은 TypeScript Advent Calendar 2019 22일째 대타 보도다.
마지막 게시물 CLI 도구화, any 경찰👮‍♂️디버깅을 진행하다.상기 파일에서 설명한 바와 같이 devDependencies에 추가하고 실행npx anycop하면 프로젝트에 대해any 진단을 할 수 있습니다.
anycop: https://www.npmjs.com/package/anycop

사절하다

이것은 애니를 쫓아내기 위해 만든 것이 아니다.any의 사용 상황이 가시화되면 과제점을 파악하고 팀을 공유할 수 있습니다.시간이 있을 때 향상형 안전 커버 조치를 취할 수 있다면 정말 좋은 일이다.any 나쁜 사람 아니에요.TypeScript에 이 사양이 없으면 현재 JavaScript 생태계에서 정적 유형을 적용할 수 없습니다.이 도구로any와 더 좋은 관계를 맺을 수 있다면 좋겠다.

변경 사항

지난번 투고는'변수 정의의any추리'에 한정되었지만 힘을 높여 다음any를 검출하기 시작했다.

변수 성명의any형 추리

함수 매개 변수의any형 추리

Binding Element의any형 추리

함수의any반환형 추리

Arrow 함수의any 반환형 추리

AsExpression(as any 단언)

TypeScript 프로젝트에 설치하고 실행한 결과는 다음과 같습니다.

변수 성명의any형 추리

그것은 변수의 현식any 주석을 검출할 뿐만 아니라any 추리도 검출한다.

function greet(message: any) {
  return message
}
// inferred "any" at VariableDeclaration
const message = greet('hello')

함수 매개 변수의any형 추리

파라미터의 현식any 주석을 검출할 수 있을 뿐만 아니라, 인용의 유형 정의가any에 해당하는 상황도 검출할 수 있다.

// annotation of "any" at ParameterDeclaration (message)
function greet(message: any) {
  return message
}

Binding Element의 any 추리

귀속 요소에서 전개되는 인용이any 추리일 때도 검출됩니다.

type Props = { a: any, b: any }
// inferred "any" at BindingElement (a & b)
function greet({ a, b }: Props) {
  return { a, b }
}

함수의any 반환 추리

되돌아오는 형식의 현식any 주석을 검출할 수 있을 뿐만 아니라any의 되돌아오는 형식도 검출할 수 있다.

// inferred "any" at FunctionDeclReturn
function greet() {
  const message: any = 'hello'
  return message
}

arrow 함수의any 반환 추리

되돌아오는 형식의 현식any 주석을 검출할 수 있을 뿐만 아니라any의 되돌아오는 형식도 검출할 수 있다.

// inferred "any" at ArrowFunctionReturn
const abc = (param: string) => {
  switch (param) {
    case 'a':
      return true
    case 'b':
      return false
    case 'c':
      return '' as any
  }
}

as Expression(as any 단언)

as 검사 키워드 단언.

function greet() {
  return 'hello' as any // at AsExpression
}

anycop.config.js

프로젝트 루트 디렉터리에 설정anycop.config.js을 통해 특정한 설정을 할 수 있습니다.errorThrethold는 오류 보고서의 임계값입니다.Type Safe Coverage의 합계가 이보다 낮으면 오류가 발생할 수 있습니다.통합 도구 등을 가져오는 데 사용하십시오.

module.exports = {
  targetDir: ".",
  errorThrethold: 0.2
}

검사 항목 증가로 인한 변경 사항

ts.SourceFile은ts.Node의 루트 노드로 이를 기점으로 실행되는 귀속 함수(visit 함수)를 재검토했다.ts.Node 보유ts.SyntaxKind, 이 Syntax Kind로 처리를 선택합니다.

function visit(node: ts.Node) {
  switch (node.kind) {
    case ts.SyntaxKind.VariableDeclaration:
      // 変数宣言であれば
      // ....処理
      break
    case ts.SyntaxKind.Parameter:
      // 引数であれば
      // ....処理
      break
    case ts.SyntaxKind.BindingElement:
      // BindingElementであれば
      // ....処理
      break
    case ts.SyntaxKind.FunctionDeclaration:
      // 関数宣言であれば
      // ....処理
      break
    case ts.SyntaxKind.ArrowFunction:
      // アロー関数宣言であれば
      // ....処理
      break
    case ts.SyntaxKind.AsExpression:
      // アサーションであれば
      // ....処理
      break
  }
  ts.forEachChild(node, visit)
}
visit(source)

ts.TypeChecker.getReturnTypeOfSignature

'부주의 함수 반환형이any에 빠졌는데...'라는 검사가 추가되었습니다.ts.SignatureDeclaration는 함수 성명이나 화살표 함수를 가리킨다.ts.TypeChecker에 있는 getSignatureFromDeclaration 함수와 getReturnTypeOfSignature 함수를 이용하여 flags 함수를 얻을 수 있다.이에 따라 ts.TypeFlags.Any 과 일치하는지 Any 인지 여부를 판단합니다.

// ts.ArrowFunction / ts.FunctionDeclaration は
// ts.SignatureDeclaration のサブタイプ
// node: ts.SignatureDeclaration
const signature = checker.getSignatureFromDeclaration(node)
if (signature) {
  const { flags } = checker.getReturnTypeOfSignature(signature)
  return checkAny(source, node, flags, name)
}