일 | 월 | 화 | 수 | 목 | 금 | 토 |
---|---|---|---|---|---|---|
1 | 2 | 3 | 4 | |||
5 | 6 | 7 | 8 | 9 | 10 | 11 |
12 | 13 | 14 | 15 | 16 | 17 | 18 |
19 | 20 | 21 | 22 | 23 | 24 | 25 |
26 | 27 | 28 | 29 | 30 | 31 |
- 경황
- overlay
- 고사성어
- 영화
- 사자성어
- 이미테이션게임
- swiftUI
- 메이지유신
- mixin
- Flutter
- 튜링기계
- 동아시아
- 앨런튜링
- 제약
- IntrinsicWidth
- NATO
- 육서
- constraint
- 근대화
- 조지레이코프
- column
- 상대성이론
- navigator
- DART
- 부호화
- GridView
- jetpack compose
- 한자
- 정규표현식
- 역사
- Today
- Total
목록DART (12)
인문주의 사피엔스
WillPopScope WillPopScope는 안드로이드 OS의 뒤로가기 버튼 이벤트를 처리하고 싶을 때 필요한 위젯 클래스로서 사용법은 다음과 같습니다. WillPopScope( child: Scaffold(), onWillPop: () async { await Future.delayed(const Duration(seconds: 1)); return true; }, ) 뒤로가기 버튼 이벤트가 발생하면 호출되는 콜백인 onWillPop에서 true를 반환하면 뒤로가기가 그대로 실행되고, false를 반환하면 뒤로가기가 취소됩니다. onWillPop에서 async, await를 사용해서 다이얼로그를 통해 사용자의 선택을 받거나, 종료 메시지를 표시하거나, 뒤로가기의 실행을 지연하는 등의 중간 과정을 삽..
정규 표현식은 문자열을 정해진 규칙에 따라 표현한 것을 뜻하며 다음 요소들을 조합하여 구성됩니다. 일반 문자(character) a-z A-Z 0-9 메타 문자(metacharacter) ., \d, \D, \s, \S, \w, \W 연산자(operator) +, *, ?, |, ^ 정규 표현식을 제대로 사용하면 문자열과 관련된 다양한 작업을 아주 효율적으로 처리할 수 있습니다. 단일 문자 검색하기 정규 표현식으로 할 수 있는 가장 단순한 작업은 단일 문자 검색입니다. 예를 들어 어떤 문자열에 a, 2, @ 같은 단일 문자가 포함되어 있는지의 여부를 확인하는 것입니다. 아래 Dart 코드는 문자열 ‘2@a’에 포함된 문자 ‘a’를 검색하는 예제입니다. 이 경우에 문자 'a'는 그 자체로 가장 단순한 정규..
다음 코드는 알파벳(a, b), 특수 문자(?, !, [, ], \), 유니코드(👀)를 포함하는 문자열 string을 정의합니다. const string = r'a? b! [👀]\'; 여기서 문자열 맨앞에 붙은 r은 raw를 뜻합니다. r을 붙인 문자열은 '있는 그대로의 날것'으로 취급됩니다. 날것으로 취급되면 백슬래시(\)에 의한 회피(escape) 기능이 작동하지 않습니다. 예를 들어 r'a\nb'를 print하면 다음과 같이 한 줄로 출력됩니다. print(r'a\nb') a\nb 하지만 r을 제거하면 백슬래시(\)에 의한 회피 기능이 작동됩니다. 백슬래시는 알파벳 n의 문자로서의 기능을 회피하고 '새 줄'이라는 기능을 부여합니다. 그래서 'a\nb'를 print하면 다음과 같이 두 줄로 출력됩니다..
보통 ‘화면(스크린)’ 또는 ‘페이지’ 등으로 불리는 전체 화면 UI에 해당하는 Flutter의 클래스는 Route입니다. Route에 포함되는 내용은 두 가지로서, 하나는 위젯으로 구현되는 페이지이고, 다른 하나는 그 페이지를 화면에 표시하는 전환(transition) 방식입니다. Navigator Navigator 클래스의 함수들은 입력받은 Route에 정의된 페이지를 거기에 함께 정의된 전환 방식을 통해 화면에 표시합니다. Navigator.push는 현재 페이지 위에 새 페이지를 덮어서 표시할 때 사용하는 함수입니다. Future push(BuildContext context, Route route) Navigator.pushReplacement는 현재 페이지를 새 페이지로 대체할 때 사용하는 함..