在 F# (PInvoke) 中扩展 Aero Glass

Question

我正在开发 F# 控制台应用程序。在属性中，我将应用程序的输出类型设置为“Windows 应用程序”以隐藏控制台。我还创建了一个表单来代替它运行。目前我只有一个没有控件的简单表单。为了制作表单，我添加了对 System.Windows.Forms 和 System.Drawing 的引用，并将它们与 System.Runtime.InteropServices 一起打开。

我不知道该怎么做的部分是延长航空玻璃。有很多关于如何在 C# 中执行此操作的示例。例如，这里是 API 调用和 MARGINS 结构：

[StructLayout(LayoutKind.Sequential)]
public struct MARGINS
{
    public int cxLeftWidth;
    public int cxRightWidth;
    public int cyTopHeight;
    public int cyBottomHeight;
}
[DllImport("dwmapi.dll")]
pubic static extend int DwmExtendFrameIntoClientArea(IntPtr hWnd, ref MARGINS pMarInset);

来自 Form_Load 事件的 API 调用：

MARGINS margins = new MARGINS();
margins.cxLeftWidth = 0;
margins.cxRightWidth = 100;
margins.cyTopHeight = 0;
margins.cyBottomHeight = 0;
int result = DwmExtendFrameIntoClientArea(this.Handle, ref margins);

这是我到目前为止在 F# 中得到的：

API 调用和 MARGINS 结构：

[<StructLayout(LayoutKind.Sequential)>]
type MARGINS =
    struct
        val cxLeftWidth : int
        val cxRightWidth : int
        val cyTopHeight : int
        val cyBottomHeigh t: int
        new(left, right, top, bottom) = { cxLeftWidth = left; cxRightWidth = right; cyTopHeight = top; cyBottomHeigh = bottom } (*Is there any other way to do this?*)
    end
[<DllImport("dwmapi.dll")>]
extend int DwmExtendFrameIntoClientArea(IntPtr hWnd, (*I need help here*))

来自 Form_Load 事件的 API 调用：

let margins = new MARGINS(0, 100, 0, 0); (*Is there any other way to do this?*)
let result : int = DwmExtendFrameIntoClientArea(this.Handle, (*I need help here*))

我一直在搜索但我在 F# 中找不到任何有关使用 ref 参数的信息。我知道用 C# 编写会容易得多，但用 int F# 编写表单背后的代码会更容易，因为它是一种函数式编程语言，而且我正在编写的整个程序都是围绕函数进行的。我知道这纯粹是装饰性的，但请帮忙。

Answer 1

一般来说，extern（又名

[<DllImport("dwmapi.dll")>]
extern int DwmExtendFrameIntoClientArea(nativeint hWnd, MARGINS& pMarInset)

这可以是使用方式如下：

let mutable margin = ...
let result = DwmExtendFrameIntoClientArea(this.Handle, &margin)

请注意，定义 MARGINS 的方式与 C# 定义不太相似。各种 val 定义是不可变的，实际上是属性而不是字段（尽管它们由字段支持，所以这可能不是什么大问题）。如果您希望它们成为可变字段，则可以在每个字段的 val 之后添加 mutable 关键字：（

[<Struct; StructLayout(LayoutKind.Sequential)>]
type MARGINS =  
  val mutable cxLeftWidth : int        
  val mutable cxRightWidth : int        
  val mutable cyTopHeight : int        
  val mutable cyBottomHeight: int

我还使用了 Struct attribute 而不是 struct ... end，但这只是为了简洁起见）。您可以像在 C# 中那样初始化它，或者使用 F# 的命名参数：

let mutable margin = MARGINS(cxRightWidth = 100)