如何将State Int类型转换为Int？求辅助实现函数（计数器开发）

首先要明确：Haskell里的State Int a不是存储Int值的容器，而是一个状态操作——它本质是函数Int -> (a, Int)，接收初始状态，执行操作后返回结果和新状态。要拿到具体的Int值，你需要运行这个状态操作并传入初始状态。

下面是几种常见场景的辅助函数实现：

场景1：获取状态操作的返回值（返回值为Int） #

如果你的State Int Int操作执行后会返回一个Int（比如计数器当前值），用evalState提取返回值：

import Control.Monad.State

-- 示例：计数器加1并返回当前值的状态操作
counterInc :: State Int Int
counterInc = do
  curr <- get
  put (curr + 1)
  return curr

-- 辅助函数：传入状态操作和初始状态，返回执行后的结果Int
extractResult :: State Int Int -> Int -> Int
extractResult op initial = evalState op initial

使用示例：

-- 初始状态为0，执行后返回0（计数器加1前的值）
main = print $ extractResult counterInc 0  -- 输出0

场景2：获取执行后的最终状态值 #

如果你需要的是操作完成后的新状态Int（比如计数器加1后的值），用execState：

extractFinalState :: State Int a -> Int -> Int
extractFinalState op initial = execState op initial

使用示例：

-- 初始状态0，执行后返回1（计数器加1后的状态）
main = print $ extractFinalState counterInc 0  -- 输出1

场景3：仅获取当前状态的Int值（不修改状态） #

如果你只是想读取当前状态的Int，先定义读取状态的操作，再运行它：

-- 读取当前状态的操作
getCurrentState :: State Int Int
getCurrentState = get

-- 辅助函数：传入初始状态，返回当前状态Int
extractCurrentState :: Int -> Int
extractCurrentState initial = evalState getCurrentState initial

核心函数说明 #

Haskell的Control.Monad.State模块提供了三个核心运行函数：

• runState :: State s a -> s -> (a, s)：返回(操作结果, 新状态)的元组
• evalState :: State s a -> s -> a：只返回操作结果
• execState :: State s a -> s -> s：只返回新状态

根据你的需求选择对应的函数即可——你之前的困惑大概率是没意识到State monad是操作描述，必须传入初始状态才能得到具体值。

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