常連

注目の的

質問力

拍手喝采

### 導入

今まで`Prism`を使わずに`WPF`や`Xamarin.Forms`で開発を行ってきましたが、今回初めて`Prism`を導入することにして現在学習中です。  
ちなみに、`ReactiveProperty`ライブラリも使っています。

現在`.NET5.0 + WPF`でWindowsアプリを開発しているのですが、疑問点が出てきて質問しました（DIの感覚がつかめていないのかな？）。

ひとまず現状私が理解している内容を書きます。
`Prism.WPF(Full App)`テンプレートでソリューション（名前はSampleApp）を作成すると...

1. SampleApp.Modules.ModuleName
1. SampleApp.Servises.Interfaces
1. SampleApp.Services
1. SampleApp.Modules.ModuleName.Tests
1. SampleApp
1. SampleApp.Core

という感じでプロジェクトが作成されますよね？（ModuleNameの名前はいつも変更してます^^;）
それぞれのプロジェクトの役割をある程度学習したところなのですが...

1. 主にユーザコントロールの作成（リージョンの作成）
1. Model部のインターフェイスを定義
1. Model部の実装の作成
1. 1の単体テスト
1. View（主にWindow）とViewModelの定義、DIの定義などアプリ本体の処理を作成
1. 5で使われる基底クラス（ViewModelBaseなど）やRegion名をすべて定数で定義するなど（5全体で使われるクラスの定義？）

上記のような感じで理解してます（1番目の箇条書きと番号が対応しています）。
※もしこの時点で間違っている理解があればご指摘いただければ嬉しいです^^

※以下`SampleApp.`は省略します。
現在一番わからないのが、Model部の処理を`Services`が担当し、Model部のプロパティやメソッドの公開を`Services.Interfaces`が担当することです。
もちろんDIでViewModelのコンストラクタに注入できるのはわかるのですが...

「ViewModelがModelクラスをフィールドやプロパティで持つのは良くない」
「あくまで、Services.Interfacesのインターフェイスを定義して、それを使うべき」
...という記述をどこかで読んでそこら辺からこんがらがっています(-_-;)
（この記述自体が間違っているのならある程度すっきりします^^）

ViewModelでModelのクラスを持つことができないのはかなり不便ではないでしょうか？
もちろん疎結合にしたいのはわかりますが、一番疑問に感じるのは列挙体の定義とかですかね...

### 質問のサンプルコード
prismを使っていなかった頃の簡単なサンプルを書きますので、Prism環境下ならどうなるのかご教授いただけませんでしょうか。
ViewとViewModelのバインディングは大丈夫なのでViewの実装は割愛させていただきます。
ほかにも複雑な処理は割愛しています。
（質問ページに直接入力なのでタイポあったらすいません💦）

「アプリの内容」
入力欄に動物の名前を入力すると、名前を検索して「～類」と種類を表示するアプリ

「モデル部」
```C#
// AnimalType.cs
public enum AnimalType {
    Honyu, // 哺乳類
    Tyou, // 鳥類
    Hatyu, // 爬虫類
    Ryousei, // 両生類
    Gyo, // 魚類
}

// Animal.cs
public class Animal {
    public string Name {get; private set;}
    public AnimalType Kind {get; private set;}

    public Animal(string name, AnimalType kind) {
        Name = name;
        Kind = kind;
    }
}

// SearchAnimalService.cs
// 疑問点3
public class SearchAnimalService {
    private SearchAnimalService _instance;
    public SearchAnimalServicce Default => _instance ?? new SearchAnimalService();

    public SearchAnimalService() {
        // DBへの接続などの情報を定義（本来は別のクラスでDBとの接続定義を行う処理を書くと思いますが今回はここで...）
    }

    // 名前をDBから検索（失敗したらnull）
    public async Task<Animal> Search(string name) {
        Animal result = null;

        // await (DBから名前が一致する動物を検索)

        return result;
    }
}
```

「ViewModel部」
```C#
// MainWindowViewModel.cs
public class MainWindowViewModel { // 本当はINotifyPropertyChangedの空実装を追加しています
    // ViewにおいてあるTextBoxとバインド
    public ReactiveProperty<string> SearchName {get;} = new();

    // 疑問点2
    // ViewにおいてあるTextBlockとバインド
    public ReactiveProperty<string> AnimalTypeString {get;} = new();
    
    // ViewにおいてあるButtonのCommandとバインド
    public AsyncReactiveCommand SearchCommand {get;} = new();

    public MainWindowViewModel() {
        SearchCommand.Subscribe(OnSearch);
    }

    private async Task OnSearch() {
        Animal result = await SearchAnimalService.Default.Search(SearchName.Value);
        if (result == null) return;

        AnimalTypeString.Value = AnimalTypeToString(Animal.Kind);
    }

    // 疑問点1
    private static string AnimalTypeToString(AnimalType kind) {
        return kind switch {
            AnimalType.Honyu => "哺乳類",
            AnimalType.Tyou => "鳥類",
            AnimalType.Hatyu => "爬虫類",
            AnimalType.Ryousei => "両生類",
            AnimalType.Gyo => "魚類",
            _ => throw new NotImplementedException() // 理論上ここには到達しない
        };
    }
}
```

### サンプルに対しての質問
**「疑問点１」**
一番の疑問点です。
「ViewModelはModelで定義されたものを使ってはいけない、インターフェイスを介すべき」
ことに従うなら、`AnimalType`を使っていること自体間違いになりますよね？
今まではそんなこと気にせずに使っていましたが、実際のところどうなんでしょうか？

`AnimalType`をViewModelに実装はできませんし、Modelで「哺乳類」など表示するための文字列を出すのもおかしいと思いますし...
（この例は列挙体から文字列に変換ですが、列挙体から文字色に変換することなども考えるとModel部で文字色を返すメソッドを作るのはかなりおかしいですよね）
それともModelとViewModelの間に別の層を用意するのでしょうか？（訳が分からない世界に迷い込みそう...）

**「疑問点２」**
今回はシンプルな処理なので`AnimalTypeString`として`string`型のプロパティを定義しています。
しかし、`Animal`クラスにどんどんプロパティが追加され、写真も表示したい、wikiへのリンクを表示したい...
などとなったときに、`ReactiveProperty<Animal>`というように定義したくなりませんでしょうか？
別にそれでもViewとのバインディングには問題ないですし...
（今回の例では必要ないですが、`Animal`クラスに変更通知機能を実装することもあると思います。）

それとも、そういう場合は`AnimalViewModel`を作って`Animal`クラスをラップするのがよいのでしょうか？
（でも、そんなことしてもViewModelがModelクラスを使っていることは事実ですよね？）

または、`AnimalInterface`なるものを作って、DIで`MainWindowViewModel`のコンストラクタに注入するのでしょうか？
（これを使っても疑問点１のような列挙体の問題は解決しませんが...）
（それとも列挙体を使わずに、定数使いまくるのか？複雑になると名前付けが大変...orz)

**「疑問点３」**
これは疑問というより確認ですが、このようなDBにアクセスするような機能をDIで実装するのが自然なイメージで認識してます。
DBとのやり取りを行うインターフェイスを作成し、それをDIで実装すれば単体テストなども楽に書けますよね？

まぁ...作っている環境は個人開発なので、そこまでこだわらなくてもよいのかもしれませんが💦
なんだか気持ち悪かったので質問しました。
長文になりましたが、よろしくお願いします。

Prism環境下でのMVVMの質問

### 前提・実現したいこと

モダンなWindowsAPIにおいて高解像度ディスプレイ対応を意識した`Per-Monitor and Per-Monitor V2 DPI Awareness`など向けのAPI群があると思いますが

(1)どのようにすれば正確にウィンドウの情報を取得できるでしょうか?

`GetWindowRect`や`GetClientRect`は高解像度ディスプレイ以前にAeroなどの影を含むサイズを返しているのか正常なサイズを取得できません。
そこで`GetWindowRect`の代わりに`DwmGetWindowAttribute`などの値を取得する方法が調べると出てきますがスクリーンショットを取って確認しても1pxズレていることがあります。スクリーンショットのサイズが正しいとは限りませんが

(2)どの値を基準に描画などをすればいいのかわかりません。

例えば高解像度ディスプレイにおいてClient領域のサイズを直接取得する関数を私は知らないのですが
Hi-DPIな関数`AdjustWindowRectExForDpi`を使ってクライアント領域を割り出すにしても`DwmGetWindowAttribute`由来の1pxのズレが効いてくる可能性はあります。BitBlt関数の画面比や描画領域などわずかですが誤差が出るかもしれません。

(3)Client領域のベストな取得方法はなんでしょうか?

Windows11の発表もありこれ以降も環境は刻々と変わっていく気はしますがStoreもWin32を許容しましたしよろしくお願いします。

### 環境

Windows 10 Pro (19043.1081)
Visual Studio 2022 Preview (WinSDK 10.0.18362.0)
ディスプレイはDPI 96と192で検証

高解像度環境におけるWinAPIのウィンドウ情報取得に関して

以下のクラスに対してMessagePackを用いて生成されたParentFormatterクラスで
```cs
[Union(0, typeof(Child))]
[MessagePackObject]
public abstract class Parent<T>
{
	[Key(0)]
	public T ID { get; set; }

	public Parent(T id)
	{
		ID = id;
	}
}

[MessagePackObject]
public class Child : Parent<int>
{
	public Child(int id) : base(id)
	{
	}
}
```

Deserialize()内の処理が以下のように記述されており、Parentは抽象クラスのためインスタンスを作成できないため、エラーとなってしまいます。
```cs
var ____result = new global::Parent<T>(__ID__);
```
何かMessagePack側の設定が間違っているのでしょうか？
それともGeneric抽象クラスはサポートされていないのでしょうか？
よろしくお願いいたします。

MessagePack for C#でGeneric抽象クラスが使えない

## 環境

- Microsoft Visual Studio Community 2019
- Version 16.10.0
- c++latest


## 問題

次のコードは上の環境でコンパイルエラーです．

**質問**：コンパイラのバグなのか，文法のエラーなのか，それとも別の原因なのかが知りたい

```
#include <iostream>

enum class Color {
	RED
};

template<typename T, template <auto,typename> typename U>
concept AA = true;

template<typename T, template <typename> typename U>
concept BB = true;

template<typename T, template <auto> typename U>
concept CC = true;

template<Color, std::integral T>
struct A {};

template<std::integral T>
struct B {};

template<Color>
struct C {};

template<AA<A> T>
void aa(T v) {
	std::cout << typeid(v).name();
}

template<BB<B> T>
void bb(T v) {
	std::cout << typeid(v).name();
}

template<CC<C> T>
void cc(T v) {
	std::cout << typeid(v).name();
}

int main() {
	A<Color::RED,int> a;
	//aa(a);//error

	B<int> b;
	bb(b);//ok

	C<Color::RED> c;
	cc(c);//ok
}


```

```
C2672	'aa': 一致するオーバーロードされた関数が見つかりませんでした。
C7602	'aa': 関連する制約が満たされていません

```

## 詳細


auto typename
typename
auto
の三種類の```concept```を作成します．

```

template<typename T, template <auto,typename> typename U>
concept AA = true;

template<typename T, template <typename> typename U>
concept BB = true;

template<typename T, template <auto> typename U>
concept CC = true;

```
---

それらを使って関数に渡される型を制約します．
-```conceptAA``` ```conceptBB``` ```conceptCC```それぞれ作成します．

```

template<AA<A> T>
void aa(T v) {
    std::cout << typeid(v).name();
}

template<BB<B> T>
void bb(T v) {
    std::cout << typeid(v).name();
}

template<CC<C> T>
void cc(T v) {
    std::cout << typeid(v).name();
}
```

---

テスト用のクラスをそれぞれ作成して，

```

template<Color, std::integral T>
struct A {};

template<std::integral T>
struct B {};

template<Color>
struct C {};

```

main関数で呼びます．

```

int main() {
    A<Color::RED,int> a;
    //aa(a);//error

    B<int> b;
    bb(b);//ok

    C<Color::RED> c;
    cc(c);//ok
}
```

関数```aa```以外は問題なく動作します．

別のコンパイラで確認したところ動作するようです．


---

別のコンパイラ
- ```gcc11.1.0```->ok
[wandboxで確認](https://wandbox.org/permlink/MxGg2QddSDFnzQKj)

- ```clang13.0.0```->ok
[wandboxで確認](https://wandbox.org/permlink/9GECnR5U8iKAxslx)