<div id="readability-page-1" class="page"><cite>DarrenKwonDev</cite>
 2022. 1. 3. 21:57
 <div>
 런타임 시점에 null이 들어오게 되어 발생하는 에러를 방지하고자 함.
이전과 다르게 모든 자료형은 nullable(?)이 붙지 않는 이상 non-nullable로 취급됨.

<h4 data-ke-size="size20">dart의 타입 시스템이 바뀌었음&nbsp;</h4>
<a href="https://dart.dev/null-safety/understanding-null-safety">https://dart.dev/null-safety/understanding-null-safety</a>
<figure id="og_1641298993725" contenteditable="false" data-ke-type="opengraph" data-ke-align="alignCenter" data-og-type="website" data-og-title="Understanding null safety" data-og-description="A deep dive into Dart language and library changes related to null safety." data-og-host="dart.dev" data-og-source-url="https://dart.dev/null-safety/understanding-null-safety" data-og-url="https://dart.dev/null-safety/understanding-null-safety/" data-og-image=""><a href="https://dart.dev/null-safety/understanding-null-safety" target="_blank" rel="noopener" data-source-url="https://dart.dev/null-safety/understanding-null-safety">

<div>
Understanding null safety
A deep dive into Dart language and library changes related to null safety.
dart.dev
</div>
</a></figure>

좌측이 null safety가 적용되기 전의 타입 시스템이라면 null safety가 적용되고난 후에는 우측처럼 되었다.
Null이 별도의 타입 처리된 것이다.
<figure>
 <img src="https://k.kakaocdn.net/dn/nltgp/btrpJQfBn8F/754YdHV4s8ULqo7QBzwzk1/img.png" onerror="this.onerror=null; this.src='//t1.daumcdn.net/tistory_admin/static/images/no-image-v1.png'; this.srcset='//t1.daumcdn.net/tistory_admin/static/images/no-image-v1.png';"><img src="https://k.kakaocdn.net/dn/zBUcl/btrpLuJZ571/Z6pIBnGJsKXL495EahtM50/img.png" onerror="this.onerror=null; this.src='//t1.daumcdn.net/tistory_admin/static/images/no-image-v1.png'; this.srcset='//t1.daumcdn.net/tistory_admin/static/images/no-image-v1.png';">
 
 <figcaption>https://dart.dev/null-safety/understanding-null-safety</figcaption>
</figure>

더 나아가 String? 꼴과 같이 nullable 타입을 지정하게 되었다.
<figure data-ke-mobilestyle="widthOrigin" data-origin-width="943" data-origin-height="476">
 
 <img src="https://k.kakaocdn.net/dn/pMYJh/btrpPGpigyg/vkgHrfVnn2CVamzceL7KI0/img.png" onerror="this.onerror=null; this.src='//t1.daumcdn.net/tistory_admin/static/images/no-image-v1.png'; this.srcset='//t1.daumcdn.net/tistory_admin/static/images/no-image-v1.png';" width="450" height="227" data-origin-width="943" data-origin-height="476">
 
 <figcaption>https://dart.dev/null-safety/understanding-null-safety</figcaption>
</figure>

또한 최하단에 Never라는 타입이 오게 되었는데 사실상 추상적인 개념이라고 보아야할 듯 싶다.
<figure data-ke-mobilestyle="widthOrigin" data-origin-width="1280" data-origin-height="1308">
 
 <img src="https://k.kakaocdn.net/dn/qSYKJ/btrpPE56gmr/fdOiynen1XkgkOP4HmdUgk/img.png" onerror="this.onerror=null; this.src='//t1.daumcdn.net/tistory_admin/static/images/no-image-v1.png'; this.srcset='//t1.daumcdn.net/tistory_admin/static/images/no-image-v1.png';" width="450" height="460" data-origin-width="1280" data-origin-height="1308">
 
 
</figure>


<h4 data-ke-size="size20">null이 별도 타입 처리되면서 강조되는 문법들</h4>
코드랩 한 번 쫙 돌려주면 게임 끝

<a href="https://dart.dev/codelabs/null-safety" target="_blank" rel="noopener">https://dart.dev/codelabs/null-safety</a>
<figure id="og_1641298958918" contenteditable="false" data-ke-type="opengraph" data-ke-align="alignCenter" data-og-type="website" data-og-title="Null safety codelab" data-og-description="Learn about and practice writing null-safe code in DartPad!" data-og-host="dart.dev" data-og-source-url="https://dart.dev/codelabs/null-safety" data-og-url="https://dart.dev/codelabs/null-safety.html" data-og-image="https://scrap.kakaocdn.net/dn/dnRT7m/hyMXJqyC4m/jPjbsa158lodKiybh24JW0/img.png?width=2650&amp;height=1488&amp;face=0_0_2650_1488"><a href="https://dart.dev/codelabs/null-safety" target="_blank" rel="noopener" data-source-url="https://dart.dev/codelabs/null-safety">

<div>
Null safety codelab
Learn about and practice writing null-safe code in DartPad!
dart.dev
</div>
</a><img src="https://scrap.kakaocdn.net/dn/dnRT7m/hyMXJqyC4m/jPjbsa158lodKiybh24JW0/img.png?width=2650&amp;height=1488&amp;face=0_0_2650_1488"></figure>

exception으로 처리
일반적으로 그냥 null 잡아서 throw Exception해도 된다.
<pre id="code_1641300349972" data-ke-language="javascript" data-ke-type="codeblock"><code>int getLength(String? str) {
 if (str == null) {
 throw Exception("str is null");
 }
 
 return str.length;
}</code></pre>

Nullish coalescing operator (??)
??를 통해 null일 경우 할당할 값을 지정할 수 있음
<pre id="code_1641297545410" data-ke-language="javascript" data-ke-type="codeblock"><code>int? nullableVar = null;
int a = nullableVar ?? 1;
print(a);</code></pre>

Optional chaining (?.)
<pre id="code_1641298213483" data-ke-language="javascript" data-ke-type="codeblock"><code>int? a = null;
print(a?.toString());</code></pre>

null assertion (!)
!를 통해 non-null assertion을 할 수 있음. 당연히 런타임에 확실하게 null이 절대 들어올 일 없다고 확신해야만 사용해야 함.
<pre id="code_1641298346602" data-ke-language="javascript" data-ke-type="codeblock"><code> int? couldBeNullButIsnt = 1;
 List&lt;int?&gt; listThatCouldHoldNulls = [2, null, 4];

 int a = couldBeNullButIsnt;
 int b = listThatCouldHoldNulls.first!; // first item in the list
 int c = couldReturnNullButDoesnt().abs(); // absolute value</code></pre>

Generic과 관련된 nullable 예시
<pre id="code_1641298541955" data-ke-language="javascript" data-ke-type="codeblock"><code>List&lt;int&gt; a = [3, 4, 1, 5];
List&lt;int&gt;? b = null; // List 자체가 null이 될 수 있다
List&lt;int?&gt; c = [1, 3, null, 4]; // 원소에 null이 들어올 수 있다
List&lt;int?&gt;? d = null; // List 자체가 null이 될 수도 있고, List가 있더라도 원소 중 null이 존재할 수 있다.</code></pre>

late 키워드
써보니 이 녀석은 "곧 할당 될거니까 nullable 처리 안해줘도 그냥 좀 넘어가라"라는 의미다.
<pre id="code_1641300628258" data-ke-language="javascript" data-ke-type="codeblock"><code>class Meal {
 // late 처리가 없다면non-nullable 필드는 반드시 초기화 되어야 한다고 경고뜸
 late String _description; 

 set description(String desc) {
 _description = 'Meal description: $desc';
 }

 String get description =&gt; _description;
}</code></pre>

순환 참조에 있어서 late 활용
그러니까 Team은 Coach가 있어야하고 Coach는 Team이 있는, 순환 참조의 형태인데 이럴 경우 late 처리를 해줘야한다.
안해주면 초기화하라고 경고 뜬다
<pre id="code_1641300703072" data-ke-language="javascript" data-ke-type="codeblock"><code>class Team {
 late final Coach coach;
}

class Coach {
 late final Team team;
}

void main() {
 final myTeam = Team();
 final myCoach = Coach();
 myTeam.coach = myCoach;
 myCoach.team = myTeam;

 print('All done!');
}</code></pre>

late를 활용한 lazy 초기화
(<a href="https://dart.dev/null-safety/understanding-null-safety#lazy-initialization" target="_blank" rel="noopener">https://dart.dev/null-safety/understanding-null-safety#lazy-initialization</a>)
<pre id="code_1641300909845" data-ke-language="javascript" data-ke-type="codeblock"><code>int _computeValue() {
 print('In _computeValue...');
 return 3;
}

class CachedValueProvider {
 // 여기에 late 키워드를 붙이면, 요구하기 전까지 _computeValue 실행을 미룬다.
 final _cache = _computeValue(); 
 int get value =&gt; _cache;
}

void main() {
 print('Calling constructor...');
 var provider = CachedValueProvider();
 print('Getting value...');
 print('The value is ${provider.value}!');
}</code></pre>
감이 오겠지만 late를 사용하면 _computeValue는 &nbsp;print('The value is ${provider.value}!');에 의해 호출되어 필요해질 때 실행된다.


<h4 data-ke-size="size20">추가적으로</h4>
typescript 처럼 flow analysis 분석해줘서 type narrowing이 된다. 너무 편함!



ref)
<a href="https://www.youtube.com/watch?v=tP9TcrUZoIs">https://www.youtube.com/watch?v=tP9TcrUZoIs</a>&nbsp;
<a href="https://dart.dev/null-safety" target="_blank" rel="noopener">https://dart.dev/null-safety</a>
 
 
 </div></div>

HotHandCoding

DarrenKwon

런타임 시점에 null이 들어오게 되어 발생하는 에러를 방지하고자 함.
이전과 다르게 모든 자료형은 nullable(?)이 붙지 않는 이상 non-nullable로 취급됨.
 
dart의 타입 시스템이 바뀌었음 
https://dart.dev/null-safety/understanding-null-safety
 
좌측이 null safety가 적용되기 전의 타입 시스템이라면 null safety가 적용되고난 후에는 우측처럼 되었다.
Null이 별도의 타입 처리된 것이다.
 
더 나아가 String? 꼴과 같이 nullable 타입을 지정하게 되었다.
 
또한 최하단에 Never라는 타입이 오게 되었는데 사실상 추상적인 개념이라고 보아야할 듯 싶다.
 
 
null이 별도 타입 처리되면서 강조되는 문법들
코드랩 한 번 쫙 돌려주면 게임 끝
 
https://dart.dev/codelabs/null-safety
 
exception으로 처리
일반적으로 그냥 null 잡아서 throw Exception해도 된다.
int getLength(String? str) {
 if (str == null) {
 throw Exception("str is null");
 }
 
 return str.length;
}
 
Nullish coalescing operator (??)
??를 통해 null일 경우 할당할 값을 지정할 수 있음
int? nullableVar = null;
int a = nullableVar ?? 1;
print(a);
 
Optional chaining (?.)
int? a = null;
print(a?.toString());
 
null assertion (!)
!를 통해 non-null assertion을 할 수 있음. 당연히 런타임에 확실하게 null이 절대 들어올 일 없다고 확신해야만 사용해야 함.
 int? couldBeNullButIsnt = 1;
 List<int?> listThatCouldHoldNulls = [2, null, 4];
 int a = couldBeNullButIsnt;
 int b = listThatCouldHoldNulls.first!; // first item in the list
 int c = couldReturnNullButDoesnt().abs(); // absolute value
 
Generic과 관련된 nullable 예시
List<int> a = [3, 4, 1, 5];
List<int>? b = null; // List 자체가 null이 될 수 있다
List<int?> c = [1, 3, null, 4]; // 원소에 null이 들어올 수 있다
List<int?>? d = null; // List 자체가 null이 될 수도 있고, List가 있더라도 원소 중 null이 존재할 수 있다.
 
late 키워드
써보니 이 녀석은 "곧 할당 될거니까 nullable 처리 안해줘도 그냥 좀 넘어가라"라는 의미다.
class Meal {
 // late 처리가 없다면non-nullable 필드는 반드시 초기화 되어야 한다고 경고뜸
 late String _description; 
 set description(String desc) {
 _description = 'Meal description: $desc';
 }
 String get description => _description;
}
 
순환 참조에 있어서 late 활용
그러니까 Team은 Coach가 있어야하고 Coach는 Team이 있는, 순환 참조의 형태인데 이럴 경우 late 처리를 해줘야한다.
안해주면 초기화하라고 경고 뜬다
class Team {
 late final Coach coach;
}
class Coach {
 late final Team team;
}
void main() {
 final myTeam = Team();
 final myCoach = Coach();
 myTeam.coach = myCoach;
 myCoach.team = myTeam;
 print('All done!');
}
 
late를 활용한 lazy 초기화
(https://dart.dev/null-safety/understanding-null-safety#lazy-initialization)
int _computeValue() {
 print('In _computeValue...');
 return 3;
}
class CachedValueProvider {
 // 여기에 late 키워드를 붙이면, 요구하기 전까지 _computeValue 실행을 미룬다.
 final _cache = _computeValue(); 
 int get value => _cache;
}
void main() {
 print('Calling constructor...');
 var provider = CachedValueProvider();
 print('Getting value...');
 print('The value is ${provider.value}!');
}
감이 오겠지만 late를 사용하면 _computeValue는  print('The value is ${provider.value}!');에 의해 호출되어 필요해질 때 실행된다.
 
 
추가적으로
typescript 처럼 flow analysis 분석해줘서 type narrowing이 된다. 너무 편함!
 
 
 
ref)
https://www.youtube.com/watch?v=tP9TcrUZoIs 
https://dart.dev/null-safety

null safety

댓글