如何捕捉SocketException

Question

我在构建以下F＃try..with语句的with部分时遇到问题。这里有很多异常处理的例子，但是当主机不存在时，我找不到任何与Dns.GetHostEntry返回的SocketException特别匹配的东西。我会继续寻找，但会欣赏一个指针。

let test_smtp (smtp_server_address : string) (port : int) = 
    let expectedResultCode = 220 
    let hostEntry : IPHostEntry = 
     try 
      Dns.GetHostEntry(smtp_server_address) 
     with 
      | :? System.Net.Sockets.SocketException -> printfn "GetHostEntry threw an exception " 

    let endPoint : IPEndPoint = new IPEndPoint (hostEntry.AddressList.[0], port) 
    (use tcpSocket = new Socket(endPoint.AddressFamily, SocketType.Stream, ProtocolType.Tcp) 
     tcpSocket.Connect(endPoint) 

     let temp_result = check_response tcpSocket expectedResultCode 
     temp_result 
    ) 

Answer 1

到目前为止，您只需添加as (name)语法以给出异常对象的名称，然后使用when (test)语法来测试某个条件是否成立。例如，：

try 
    Dns.GetHostEntry(smtp_server_address) 
with 
    | :? System.Net.Sockets.SocketException as ex when ex.SocketErrorCode = SocketError.HostNotFound -> 
    failwith "Host not found" 

（注：我的原代码，测试SocketErrorCode对一个int，因为我误读了MSDN文档，但SocketErrorCode是System.Net.Sockets.SocketError enum value。）有关代码

一个评论：你不需要围绕use tcpSocket = ...表达式的括号。你可以只用代码的其余部分写它内联，而当它超出范围在函数结束F＃将处置tcpSocket值：

let test_smtp (smtp_server_address : string) (port : int) = 
    let expectedResultCode = 220 
    let hostEntry : IPHostEntry = 
     try 
      Dns.GetHostEntry(smtp_server_address) 
     with 
      | :? System.Net.Sockets.SocketException as ex when ex.SocketErrorCode = SocketError.HostNotFound -> 
       failwith "GetHostEntry threw an exception " 

    let endPoint : IPEndPoint = new IPEndPoint (hostEntry.AddressList.[0], port) 
    use tcpSocket = new Socket(endPoint.AddressFamily, SocketType.Stream, ProtocolType.Tcp) 
    tcpSocket.Connect(endPoint) 

    check_response tcpSocket expectedResultCode 

Answer 2

下面是不是一个解决方案，但解决方法。它解决了主机未发现错误的问题，而无需使用@rmunn的答案中提到的railway-oriented programming。 （这是一个伟大的文章，顺便说一句。）

所以false可如果Dns.GetHostEntry抛出异常或返回如果check_response未能从HELO正确的响应。

module net_utilF_mod 

open System 
open System.Text 
open System.Threading 
open System.Net 
open System.Net.Sockets 
open System.IO 

type Smtp1() = 
    member this.X = "F#" 

let send_data (socket : Socket) (data : string) = 
    let dataArray : byte [] = Encoding.ASCII.GetBytes(data) 
    socket.Send(dataArray, 0, dataArray.Length, SocketFlags.None) 

let check_response (socket:Socket) expectedResultCode = 
    while socket.Available = 0 do 
     System.Threading.Thread.Sleep 100 

    let responseArray : byte [] = Array.zeroCreate 1024 
    socket.Receive(responseArray, 0, socket.Available, SocketFlags.None) |> ignore 
    let responseData : string = Encoding.ASCII.GetString(responseArray) 
    let responseCode : int = Convert.ToInt32(responseData.Substring(0,3)) 
    if responseCode = expectedResultCode then 
     true 
    else 
     false 

let test_smtp (smtp_server_address : string) (port : int) = 
    let helo_msg = String.Format("HELO {0}\r\n", Dns.GetHostName()) 
    let hostEntry : IPHostEntry = 
     try 
      Dns.GetHostEntry(smtp_server_address) 
     with 
      | :? System.Net.Sockets.SocketException as ex when ex.SocketErrorCode = SocketError.HostNotFound -> 
       let tempEntry : IPHostEntry = Dns.GetHostEntry(@"localhost") 
       tempEntry 

    let email_server_reachable = 
     match hostEntry.HostName with 
     | @"localhost" -> false 
     | _ -> true 


    if false = email_server_reachable then 
     false 
    else 
     let endPoint : IPEndPoint = new IPEndPoint (hostEntry.AddressList.[0], port) 
     (use tcpSocket = new Socket(endPoint.AddressFamily, SocketType.Stream, ProtocolType.Tcp) 
      tcpSocket.Connect(endPoint) |> ignore 

      let temp_response = 
       if true = check_response tcpSocket 220 then 
       send_data tcpSocket helo_msg |> ignore 
       check_response tcpSocket 250    
       else 
       false 

      temp_response 
     )