From 0705bc4e6f8b3fa744d04c2e785a987a2b70ea60 Mon Sep 17 00:00:00 2001
From: falsycat <me@falsy.cat>
Date: Wed, 21 Jun 2023 07:36:18 +0900
Subject: [PATCH] add new article

---
 content/note/info-tech/c-cpp-sanitizer.md |  42 +++++++++
 content/note/info-tech/dart.md            | 102 ++++++++++++++++++++++
 2 files changed, 144 insertions(+)
 create mode 100644 content/note/info-tech/c-cpp-sanitizer.md
 create mode 100644 content/note/info-tech/dart.md

diff --git a/content/note/info-tech/c-cpp-sanitizer.md b/content/note/info-tech/c-cpp-sanitizer.md
new file mode 100644
index 0000000..3ea0a60
--- /dev/null
+++ b/content/note/info-tech/c-cpp-sanitizer.md
@@ -0,0 +1,42 @@
+---
+title: C/C++のsanitizerの使い方
+tags: [note, info-tech, development, programming-language, howto]
+---
+
+## 概要
+- バグを検知するコードを埋め込むための，sanitizerと呼ばれる機能がある
+- このページではsanitizerの使い方を説明する
+
+## 使い方
+
+### コンパイル時にsanitizerを埋め込む
+- 種類ごとにオプションが異なる
+- XXXにはSanitizer名をカンマ区切りで羅列する
+	- 代表的なSanitizer名については後述
+
+```bash
+g++ -fsanitizer=XXX a.cc
+gcc -fsanitizer=XXX a.c
+```
+
+#### 代表的なSanitizer
+- [ここ](https://gcc.gnu.org/onlinedocs/gcc/Instrumentation-Options.html)で`-fsanitizer=`を検索すると一覧が見れる
+- `thread`は`address`や`undefined`と同居できない
+
+|名前|説明|
+|:--|:--|
+|`address`|[Address Sanitizer](https://github.com/google/sanitizers/wiki/AddressSanitizer)|
+|`undefined`|[Undefined Behavior Sanitizer](https://clang.llvm.org/docs/UndefinedBehaviorSanitizer.html)|
+|`thread`|[Thread Sanitizer](https://github.com/google/sanitizers/wiki#threadsanitizer)|
+
+### 実行時にsanitizerの挙動を指定する
+- sanitizerが埋め込まれたバイナリに対して，実行時に，sanitizerの挙動を環境変数で指定することができる
+- 詳細は各sanitizerの説明ページを参照
+
+## 所感
+- `thread`が強すぎる
+	- `thread`は実際に[Nf7](https://git.falsy.cat/nf7/nf7)のデバッグで使ってる
+		- sanitizerがなければ気づけなかったcondition raceがかなりあった
+			- 格好つけてロックフリーで書いたせい
+- `thread`が`address`や`undefined`と一緒に使えないのが痛い
+	- どちらともを使うには，`thread`でビルド，テストした後に，オプションを変えてビルドし直し，同じテストを実行しなければならない
\ No newline at end of file
diff --git a/content/note/info-tech/dart.md b/content/note/info-tech/dart.md
new file mode 100644
index 0000000..217bc7f
--- /dev/null
+++ b/content/note/info-tech/dart.md
@@ -0,0 +1,102 @@
+---
+title: dart言語
+tags: [note, info-tech, development, programming-language]
+---
+
+## 概要
+- Google製プログラミング言語
+- [flutter](note/info-tech/flutter.md)のための言語
+- 日本語資料少なめ
+- オブジェクト指向
+
+## 特徴
+- undefined behaviorは無い
+- Null safety
+	- 型名に?を付ければNull許容型になる
+	- Null許容型に対してはNullチェックをしないとコンパイラがキレる
+- 整数値以外は参照型
+- GC（mark & sweep）搭載
+	- デストラクタは無さそう，そもそもmark & sweepでデストラクタは信頼できない
+- コンストラクタが書きやすい
+	- わざわざメンバ変数と同じ名前の引数を書いて，代入して，，，ということをしなくてもいい
+- 静的解析が強め
+
+## 文法
+- 大体は既存のやつと同じ
+- 文末セミコロン必須
+- 関数呼び出しの実引数リストでもケツカンマ許容
+
+### 変数修飾子
+- 型が自明な場合，型名は省略できる
+	- 省略できる場合は省略することが推奨される
+
+```dart
+// コンパイル時定数
+const int x = 0;
+const x = 0;
+
+// 再代入不可能変数
+final int x = 0;
+final x = 0;
+
+// 再代入可能変数
+var int x = 0;
+var x = 0;
+
+// 遅延初期化変数
+late int x;
+late final int x;
+```
+
+#### final: 再代入不可能変数
+- 値型の変数に対しては，値の変更を禁止する
+- 参照型の変数に対しては，参照先の変更のみを禁止する
+- dartでは，参照先のオブジェクトの変更を禁止することはできない
+
+#### late: 遅延初期化
+- 変数の初期化を遅延させることができる
+- 実質的にはNull safetyの無いNull許容型
+- `late final`修飾子によって複数回の代入をコンパイルエラーにできる
+	- ただし静的解析の精度は微妙なので，絶対に2回目の代入ができなくなるわけではない
+
+### Null safety
+- Null許容型に対しては，Nullを扱いやすくするための演算子が使える
+- 関数の中で，変数に対して一度nullチェックをした場合，以降，その変数はNull許容型でないものとして扱える
+```dart
+(T? x) {
+  x ?? T();  // x が null ならば 0 それ以外ならば T()
+  x?.method();  // x が null ならば methodを呼ばずnullを返す それ以外ならば methodを呼ぶ
+  x!.method();  // x が nullでない ことを前提として methodを呼ぶ（実行時にnullだった場合runtime error）
+};
+(T? x) {
+  if (x == null) {
+    return;
+  }
+  x.method();  // x!.method(); とする必要がない
+};
+(T? x) {
+  x.method();  // Nullチェックしてないのでコンパイルエラー
+};
+```
+
+### コンストラクタ
+- C++と比べてかなり書きやすい
+
+```dart
+class A {
+  final int x;
+  final int y;
+  final int z;
+
+  A(this.x, this.y, this.z);
+  A(this.x, {required this.y, this.z = 1});
+  A.empty() :
+    this.x = 0, this.y = 0, this.z = 0;
+}
+
+void main() {
+  final a1 = A(0, 1, 2);
+  final a2 = A(0, y: 1);
+  final a3 = A.empty();
+}
+```