如何解决XMonad中Reflect布局下Shrink/Expand按键功能反转问题？

针对你遇到的问题——用XMonad.Layout.Reflect结合MultiToggle翻转布局后，Shrink和Expand的按键功能反向——这里有一个优雅且符合Haskell风格的解决方案，不需要全局变量或动态修改按键绑定：

核心思路是自定义按键动作，在动作中读取当前的MultiToggle状态，根据布局是否翻转自动选择发送Shrink或Expand消息。XMonad的状态（XState）中已经保存了MultiToggle的激活状态，我们可以通过get操作读取这个状态，而不是用可变全局变量，完全符合纯函数式编程的理念。

步骤1：导入必要模块 #

首先确保你的配置文件中导入了这些模块：

import XMonad.Layout.MultiToggle
import XMonad.Layout.Reflect
import XMonad (X, sendMessage, get, modMask, KeySym)
import qualified XMonad.Util.EZConfig as EZ -- 如果你用EZConfig定义按键，否则用mkKeymap

步骤2：自定义Shrink/Expand动作 #

编写两个自定义函数，它们会先检查当前布局是否被翻转，再决定发送对应的消息：

-- 自定义缩小动作：布局翻转时实际发送Expand，否则发送Shrink
customShrink :: X ()
customShrink = do
  currentState <- get
  -- 获取MultiToggle的激活状态列表
  let toggleStates = mtState $ layoutHook currentState
      -- 判断是否激活了左右翻转（如果是上下翻转，替换成REFLECTY）
      isLayoutReflected = any (== REFLECTX) toggleStates
  if isLayoutReflected
    then sendMessage Expand
    else sendMessage Shrink

-- 自定义放大动作：布局翻转时实际发送Shrink，否则发送Expand
customExpand :: X ()
customExpand = do
  currentState <- get
  let toggleStates = mtState $ layoutHook currentState
      isLayoutReflected = any (== REFLECTX) toggleStates
  if isLayoutReflected
    then sendMessage Shrink
    else sendMessage Expand

步骤3：替换原有按键绑定 #

在你的按键配置中，把原来的sendMessage Shrink和sendMessage Expand替换成我们的自定义函数：

main = xmonad $ def
  { -- 其他配置项...
  , keys = \conf -> EZ.mkKeymap conf $
      [ -- 其他按键绑定...
        ((modMask conf, xK_h), customShrink)
      , ((modMask conf, xK_l), customExpand)
        -- 其他按键绑定...
      ]
  }

原理说明 #

• XMonad的X monad封装了程序的状态，get操作可以安全地获取当前的XState，其中包含了布局钩子的状态（layoutHook）。
• MultiToggle的状态（mtState）是一个已激活的Toggle列表，我们通过检查这个列表中是否包含REFLECTX（或REFLECTY）来判断布局是否被翻转。
• 这种方式完全是纯函数式的：我们没有修改任何全局变量，只是根据当前状态决定要执行的动作，符合Haskell的设计哲学。

为什么其他思路不太合适 #

• XMonad.Actions.PerWorkspaceKeys：它是针对整个工作区的配置，而你的问题是同一个工作区内布局状态动态变化，所以不适用。
• 动态添加/删除按键绑定：这种方式需要修改XState中的按键映射，不仅繁琐，还容易引入状态管理的复杂性，不如直接在动作中判断状态优雅。

内容的提问来源于stack exchange，提问作者Tor Andre Myrvoll