`TS8021`

프런트엔드 코드 RETURN_SHAPE

A return shape problem: bare return where a value is required, or an entry function with no return type annotation that returns a value.

레지스트리 설명과 컴파일러 메시지는 컴파일러 원문이라 한국어 페이지에서도 영어로 둡니다.

예제

"use typeshade"

function shade(x: f32): f32 {
  if (x > 0.5) {
    return
  }
  return x * 0.5
}

@fragment
export function main(@location(0) uv: vec2): vec4 {
  return vec4(uv, shade(uv.x), 1.)
}

빌드할 때 고정된 컴파일러로 이 프로그램을 컴파일하면 다음 진단이 나옵니다.

TS8021 error, 5행: Function "shade" returns f32 but has a bare "return".

고치는 법

같은 프로그램을 고친 모습입니다. 진단 없이 컴파일됩니다.

"use typeshade"

function shade(x: f32): f32 {
  if (x > 0.5) {
    return 1.
  }
  return x * 0.5
}

@fragment
export function main(@location(0) uv: vec2): vec4 {
  return vec4(uv, shade(uv.x), 1.)
}

이 코드가 적용하는 규칙

규칙 8.19 테스트: A function that writes no return type returns what its body does, as TypeScript infers it: a function of the file or of a namespace, a local function (Rule 8.17), each instance of a generic function (Rule 8.9) and of a function that takes a function (Rule 8.18), a method, a getter and a field that holds a function (Rule 8.16) take the type of their first return with a value, the returns after it are typed against that type as against a written one, and one with no such return returns nothing.

함께 보기

소스

커밋 c66579bf에서 컴파일러가 이 코드를 내는 곳입니다. 파일마다 한 줄씩 적었습니다.

src/compiler/ts/lower/function.ts:3208 (2곳)

이 페이지 편집 문제 보고