# 2021/01/09

```c
typedef struct AtomicT <T>{
    union Data* atomicTImpl;
    T newData;
    __code checkAndSet(Impl* atomicTImpl, T newData, __code next(...), __code fail(...));
    __code next(...);
    __code fail(...);
} AtomicT;
```

# tの置換
- Tの境界が指定されていない場合
    - 置き換えられるかの確認
    - 置き換えられそうならコードを生成する
        - 型(header)
        - CodeGear
- Tの境界が指定されている場合
    - 型チェック
        - data gearの同一性
        - primitive typeはwrapeperをいれる?
    - 置き換えられそうなら置換する

いずれにせよ.cbcと.hを生成する必要がありそう
    - 動的にコンパイルする必要があるので、CMakeをいじる必要性がありそう...