WPF多窗口磁性对齐贴边功能实现

Posted 2021-03-15 lonelyxmas

原文:WPF多窗口磁性对齐贴边功能实现

笔者前言

自从新学期选修了.net软件开发之后，便开始使用C#语言。竟发现C#各种语法糖的便利，从此走上.net不归之路（大雾）。其实不管C#有多包容java，写代码的可玩性是不变的，无论javafx还是wpf，只不过实在是很少java写的桌面应用能普及使用，还是抱微软的大腿，写更贴合windows系统的软件吧。。。

正文

辨析

本以为一个名似dock的属性的效果是本文的效果，因为词典上翻译就是“停靠”，后来看过别人的开源代码才知道dock是类似VS的内部窗口停靠，是像浏览器网页标签的那种“停靠”。而本文效果的用另一词语来形容是“密铺”。

原理

本文效果的原理是，用集合记录各个窗口的上下左右边界坐标。然后在每次窗口拖动（本文暂不支持拉伸贴边，不过稍微改改也能有），边界位置发生了变化，然后变化后的该窗口边界坐标拿去跟其他窗口比，在一定阈值内（例如±5），在范围内的就强制调整窗口位置到贴合位置。

方法介绍

以下以Window为参数的是需要微调位置的窗口对象

• Update(Window) -void 每有窗口出现时，请调用该方法及时记录数据
• Delete(Window) -void 每有窗口隐藏或关闭时，请调用该方法及时擦除数据
• AutoDock(Window) -void 在窗口移动或需要贴边时请调用（更改微调时机需要同时修改代码）

瑕疵

本文附带的代码只是很粗糙的原理实现。

• 带来的副效果：远处对齐，就跟设计器的控件摆放时的辅助对齐效果一般（大雾）
• 本文代码中带有的对窗口set操作，是在该辅助类内完成修改位置效果。换言之，既然在该方法里修改了数据，就必然使得该方法的调用时机是在窗口移动完毕之后，程序流在事件逻辑最后。带来的表现就是移动完了才会自动贴边。而实际上平时别人的软件是在移动过程中贴边。若要安置其他时机的需要自行修改。
• 算法：本文代码的算法及选择的数据模型不是很优。见谅

代码

    public class DockingManager {
        public static Dictionary<Window, double> LeftBorder {get;}
        public static Dictionary<Window, double> TopBorder {get;}
        public static Dictionary<Window, double> RightBorder {get;}
        public static Dictionary<Window, double> BottomBorder {get;}

        static DockingManager() {
            LeftBorder = new Dictionary<Window, double>();
            TopBorder = new Dictionary<Window, double>();
            RightBorder = new Dictionary<Window, double>();
            BottomBorder = new Dictionary<Window, double>();
        }

        public static void Update(Window w) {
            LeftBorder[w] = w.Left;
            TopBorder[w] = w.Top;
            RightBorder[w] = w.Left + w.Width;
            BottomBorder[w] = w.Top + w.Height;
        }

        public static void Delete(Window w) {
            LeftBorder.Remove(w);
            TopBorder.Remove(w);
            RightBorder.Remove(w);
            BottomBorder.Remove(w);
        }

        public static void AutoDock(Window w) {
            double t = w.Top, b = w.Top + w.Height, l = w.Left, r = w.Left + w.Width;
            var temp = HorizontalSet(w);
            foreach (var d in temp) {
                if (t >= d - 10 && t <= d + 10) {
                    w.Top = d;
                    break;
                }
                if (b >= d - 10 && b <= d + 10) {
                    w.Top = d - w.Height;
                    break;
                }
            }
            temp = VerticalSet(w);
            foreach (var d in temp) {
                if (l >= d - 10 && l <= d + 10) {
                    w.Left = d;
                    break;
                }
                if (r >= d - 10 && r <= d + 10) {
                    w.Left = d - w.Width;
                    break;
                }
            }
            Update(w);
        }

        private static HashSet<double> HorizontalSet(Window w) {
            HashSet<double> s = new HashSet<double>();
            foreach (var v in TopBorder.Keys) {
                if (v != w) {
                    s.Add(TopBorder[v]);
                }
            }
            foreach (var v in BottomBorder.Keys) {
                if (v != w) {
                    s.Add(BottomBorder[v]);
                }
            }
            return s;
        }

        private static HashSet<double> VerticalSet(Window w) {
            HashSet<double> s = new HashSet<double>();
            foreach (var v in LeftBorder.Keys) {
                if (v != w) {
                    s.Add(LeftBorder[v]);
                }
            }
            foreach (var v in RightBorder.Keys) {
                if (v != w) {
                    s.Add(RightBorder[v]);
                }
            }
            return s;
        }
    }
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
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84