Network.Socket模块为何无isClosed函数？套接字安全关闭疑问

首先，你遇到的这个问题确实很常见——Network.Socket模块没有提供isClosed函数，直接重复关闭套接字会抛出异常。先聊聊你当前实现的closeIfOpen存在的潜在风险，再给你更稳妥的解决方案。

你的实现的竞态条件隐患 #

你通过读取套接字内部的MVar状态来判断是否关闭，这个思路在单线程场景下能正常工作，但多线程环境下存在明显的竞态条件：

1. 你的线程调用readMVar stMV，得到状态为Open
2. 在你调用Socket.close sock之前，另一个线程可能已经关闭了这个套接字，将状态改为Closed
3. 此时你的线程执行Socket.close，依然会抛出你遇到的epollControl: does not exist异常

而且你猜的没错——isConnected和isBound也存在同样的问题：它们的实现也是读取内部状态MVar，同样无法保证“检查状态”和“执行操作”的原子性。这也是官方没有提供isClosed函数的核心原因：这种“先检查后操作”的模式本质上不可靠，无法应对并发场景。

更可靠的解决方案：捕获异常 #

既然预先检查状态无法避免竞态，不如直接执行关闭操作，然后捕获并忽略重复关闭导致的异常。这是Unix系统编程中的常见模式——与其试图避免重复关闭，不如处理重复关闭的错误。

你可以修改closeIfOpen函数，捕获IOException并判断是否是重复关闭导致的错误：

import Control.Exception (catch, IOException)
import Data.List (isInfixOf)
import qualified Network.Socket as Socket

closeIfOpen :: Socket.Socket -> IO ()
closeIfOpen sock = Socket.close sock `catch` handleClosedError
  where
    handleClosedError :: IOException -> IO ()
    handleClosedError e
      -- 匹配你遇到的错误信息，同时覆盖常见的无效文件描述符错误
      | "does not exist (No such file or directory)" `isInfixOf` show e = return ()
      | "Bad file descriptor" `isInfixOf` show e = return ()
      | otherwise = ioError e -- 其他异常正常抛出，不吞掉

更健壮的错误判断（可选） #

如果依赖错误字符串不够可靠（不同系统的错误消息可能有差异），你可以使用System.Posix.Error模块检查错误码：

import Control.Exception (catch, IOException)
import System.Posix.Error (getErrno, Errno(Errno), eBADF, eNOENT)
import qualified Network.Socket as Socket

closeIfOpen :: Socket.Socket -> IO ()
closeIfOpen sock = Socket.close sock `catch` handleClosedError
  where
    handleClosedError :: IOException -> IO ()
    handleClosedError e = do
      errno <- getErrno
      if errno == eBADF || errno == eNOENT
        then return ()
        else ioError e

eBADF（错误码9）对应“无效的文件描述符”，eNOENT（错误码2）对应你遇到的“文件不存在”，这两个都是重复关闭套接字时可能抛出的典型错误码。

总结 #

• 避免“先检查状态再操作”的模式，并发环境下这种方式必然存在竞态
• 直接执行关闭操作，捕获并忽略重复关闭导致的特定异常，是更可靠的做法
• isConnected/isBound这类函数同样存在竞态风险，不能用于保证后续操作的安全性

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