笔者前言
自从新学期选修了.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