Haskell中如何获取矩阵指定行列位置的元素？

嘿，咱们可以通过组合你已经提供的nth函数来实现这个需求，思路很清晰，分两步走就行~

首先明确几个前提：

• 你的Matrice a本质是嵌套列表[[a]]
• 现有的nth函数是1-based索引的（比如nth 1取第一个元素），但你期望的调用是0-based索引（比如example 0 1对应第一行第二个元素），所以需要先做索引转换。

实现思路 #

要获取矩阵中指定位置的元素，需要：

1. 先通过行索引获取对应的行（把0-based行号转成1-based传给nth）
2. 再从获取到的行中，通过列索引获取元素（同样转换索引）
3. 用Haskell的Maybe类型处理越界情况（行/列索引超出范围时返回Nothing，避免崩溃）

具体实现 #

这里提供两种风格的实现，你可以选自己喜欢的：

1. Do Notation（可读性强）

type Matrice a = [[a]]

nth :: Int -> [a] -> Maybe a
nth _ [] = Nothing
nth 1 (x : _) = Just x
nth n (_ : xs) = nth (n - 1) xs

getElement :: Int -> Int -> Matrice a -> Maybe a
getElement row col mat = do
  -- 先获取指定行：把0-based行号转成1-based
  targetRow <- nth (row + 1) mat
  -- 再从行中获取指定列：同样转换索引
  nth (col + 1) targetRow

2. Bind运算符（更简洁）

利用Maybe的Monad特性，用>>=来串联两个操作：

getElement :: Int -> Int -> Matrice a -> Maybe a
getElement row col mat = nth (row + 1) mat >>= nth (col + 1)

测试你的示例 #

用你给出的示例矩阵：

example :: Matrice Int
example = [[3, 5], [2, 1], [0, 4], [6, 8]]

调用结果如下：

• getElement 0 1 example → Just 5（符合你的预期）
• getElement 2 0 example → Just 0（正确）
• 哦对了，你提到的example 1 1期望返回2？这里可能是笔误哦，示例矩阵的第二行（0-based行1）是[2,1]，所以getElement 1 0 example才会返回Just 2，而getElement 1 1 example会返回Just 1~

额外说明 #

这个实现的好处是保留了nth函数的安全特性：如果行或列索引超出矩阵范围，会返回Nothing而不是直接抛出异常，这更符合Haskell的容错设计。

如果你真的想实现像example 0 1这样直接把矩阵当函数调用的写法，其实可以给Matrice定义一个函数实例，但不太推荐（会打破常规的类型直觉），还是用专门的访问函数更清晰。

内容的提问来源于stack exchange，提问作者Anna