<div id="readability-page-1" class="page"><div id="kakaoContent">

                <div>
                                            <p><a href="/m/category/Programming%20Language/%F0%9F%9F%A6%20Typescript">Programming Language/🟦 Typescript</a></p><h2>never 타입은 대체 왜 있는 거임? : Exhaustive Type Checking</h2>
                    <p><cite>
                        <span>DarrenKwonDev</span>
                    </cite>
                </p></div>
                <p><time>2021. 8. 7. 20:55</time>
                    <span>
                        
                                                    <a href="#comment" onclick="Utils.smoothScroll(this);return false">
                                
                            </a>
                        
                                                    <span id="title_daumlike">
                                
                                <span id="mobile-reaction"></span>
                                
                            </span>
                                            </span>
                </p>

                                    
                
                <div>
                    <p data-ke-size="size16">대표적으로 switch 문에서, 모든 case에 대한 처리가 이루어지지 않아서 default로 빠지게 되는 경우가 있다.</p>
<p data-ke-size="size16">typescript에서는 이러한 케이스를 방지할 수 있다. 아래와 같은 케이스를 살펴보자.</p>
<pre id="code_1628336699577" data-ke-language="javascript" data-ke-type="codeblock"><code>interface Circle {
  kind: 'circle'
  radius: number
}

interface Square {
  kind: 'square'
  sideLength: number
}

type Shape = Circle | Square

function getArea (shape: Shape) {
  switch (shape.kind) {
    case 'circle':
      return Math.PI * shape.radius ** 2
      
    // 실수로 shape가 Square인 부분을 handling 하지 못했음.
    // 따라서 default로 빠지게 됨.

    default:
      // 분명 never니까 값이 들어오면 안된다.
      // 그런데 shape가 Square인 부분을 핸들링하지 못했으니 default로 빠지게 됨.
      // 이런 케이스가 없었으면 한다면 다음과 같이 checking 한다.
      const _exhaustiveCheck: never = shape
      return _exhaustiveCheck
  }
}</code></pre>

<p data-ke-size="size16">그러나 모든 switch 구문에 대해서 다음과 같은 체킹을 하는 것을 힘들다.</p>
<p data-ke-size="size16">함수로 만들어서 switch문에 살짝 끼워넣어보자.</p>
<pre id="code_1628337208087" data-ke-language="javascript" data-ke-type="codeblock"><code>interface Circle {
  kind: 'circle'
  radius: number
}

interface Square {
  kind: 'square'
  sideLength: number
}

type Shape = Circle | Square

function exhaustiveCheck (param: never) {
  throw new Error('exhaustive check fail')
}

function getArea (shape: Shape) {
  switch (shape.kind) {
    case 'circle':
      return Math.PI * shape.radius ** 2

    default:
      // Argument of type 'Square' is not assignable to parameter of type 'never'.
      exhaustiveCheck(shape)
  }
}</code></pre>


<p data-ke-size="size16">ref)</p>
<p data-ke-size="size16"><a href="https://dev.to/babak/exhaustive-type-checking-with-typescript-4l3f">https://dev.to/babak/exhaustive-type-checking-with-typescript-4l3f</a></p>
                                                            
                    
					
                    
                    
                </div>

                                    
                
                
                                    
                
                


                

                                    
                
                
            </div></div>

HotHandCoding

DarrenKwon

대표적으로 switch 문에서, 모든 case에 대한 처리가 이루어지지 않아서 default로 빠지게 되는 경우가 있다.
typescript에서는 이러한 케이스를 방지할 수 있다. 아래와 같은 케이스를 살펴보자.
interface Circle {
  kind: 'circle'
  radius: number
}
interface Square {
  kind: 'square'
  sideLength: number
}
type Shape = Circle | Square
function getArea (shape: Shape) {
  switch (shape.kind) {
    case 'circle':
      return Math.PI * shape.radius ** 2
      
    // 실수로 shape가 Square인 부분을 handling 하지 못했음.
    // 따라서 default로 빠지게 됨.
    default:
      // 분명 never니까 값이 들어오면 안된다.
      // 그런데 shape가 Square인 부분을 핸들링하지 못했으니 default로 빠지게 됨.
      // 이런 케이스가 없었으면 한다면 다음과 같이 checking 한다.
      const _exhaustiveCheck: never = shape
      return _exhaustiveCheck
  }
}
 
그러나 모든 switch 구문에 대해서 다음과 같은 체킹을 하는 것을 힘들다.
함수로 만들어서 switch문에 살짝 끼워넣어보자.
interface Circle {
  kind: 'circle'
  radius: number
}
interface Square {
  kind: 'square'
  sideLength: number
}
type Shape = Circle | Square
function exhaustiveCheck (param: never) {
  throw new Error('exhaustive check fail')
}
function getArea (shape: Shape) {
  switch (shape.kind) {
    case 'circle':
      return Math.PI * shape.radius ** 2
    default:
      // Argument of type 'Square' is not assignable to parameter of type 'never'.
      exhaustiveCheck(shape)
  }
}
 
 
ref)
https://dev.to/babak/exhaustive-type-checking-with-typescript-4l3f

never 타입은 대체 왜 있는 거임? : Exhaustive Type Checking

댓글