void

💻 void란?

void는 값을 반환하지 않는 함수의 리턴값을 의미합니다. 함수에 return문이 없거나 명시적으로 값을 반환하지 않을때 추론되는 타입입니다.

💻 void 반환 타입으로의 문맥적 타이핑

void 반환 타입으로의 문맥적 타이핑이란, void 반환 타입을 가지는 함수 타입 표현식이나, 함수 호출 시그니처와 같은 것을 의미합니다. void 반환 타입을 가지는 문맥적 함수 타입이 구현되었을때는, 아무값이나 리턴할 수 있지만 무시됩니다. 즉 TypeScript가 아무런 값을 리턴하지 못하도록 강제하지 않습니다.

// 함수 타입 표현식
type voidFuncTypeExpression = () => void;

// 함수 호출 시그니처
interface voidFuncCallSignature {
  (): void;
}

const f1: voidFuncTypeExpression = () => {
  return true;
};

const f2: voidFuncCallSignature = () => {
  return "hello";
};

const f3: voidFuncTypeExpression = function () {
  return true;
};

위와 같이 선언된 함수들을 호출했을 때 반환값은 모두 void로 추론됩니다.

const result1 = f1(); // void
const result2 = f2(); // void
const result3 = f3(); // void

void 반환 타입을 가지는 문맥적 함수 타입은 주로 callback 함수의 타입에서 볼 수 있습니다.
아래는 JavaScript 내장 함수인 forEach의 타입입니다.

interface Array<T> {
  forEach(
    callbackfn: (value: T, index: number, array: T[]) => void,
    thisArg?: any
  ): void;
}

callbackfn의 타입이 void를 반환하는 함수 타입 표현식으로 되어있어, 실제 어떤 값을 리턴하더라도 오류가 발생하지 않습니다.
따라서 아래와 같은 코드가 성립하게 됩니다.

[1, 2, 3].forEach((element) => {
  console.log(element);
  return element;
});

💻 리터럴 함수의 반환값으로의 void

만약 리터럴 함수의 정의가 void 리턴값을 가지고 있다면, 그 함수는 아무런 값도 반환할 수 없습니다.

function f1(): void {
  return true;
}

const f2 = function (): void {
  return true;
};

const f3 = (): void => {
  return true;
};

위 세 함수는 모두 타입 에러가 발생하게 됩니다.