WCF技术剖析之二十一：WCF基本异常处理模式[下篇]

从FaultContractAttribute的定义我们可以看出，该特性可以在同一个目标对象上面多次应用（AllowMultiple = true）。这也很好理解：对于同一个服务操作，可能具有不同的异常场景，在不同的情况下，需要抛出不同的异常。

[AttributeUsage(AttributeTargets.Method, AllowMultiple = true, Inherited = false)]
public sealed class FaultContractAttribute : Attribute
{
    //省略成员
}

但是，如果你在同一个操作方法上面应用了多了FaultContractAttribute特性的时候，需要遵循一系列的规则，我们现在就来逐条介绍它们。

一、多次声明相同的错误明细类型

比如在下面的代码中，对于操作Divide，通过FaultContractAttribute特性对同一个错误明细类型CalculationError进行了两次设置。

using System.ServiceModel;
namespace Artech.WcfServices.Contracts
{
    [ServiceContract(Namespace = "http://www.artech.com/")]
    public interface ICalculator
    {
        [OperationContract]
        [FaultContract(typeof(CalculationError))]
        [FaultContract(typeof(CalculationError))]
        int Divide(int x, int y);
    }
}

WCF服务端框架在初始化ServiceHost，并创建服务表述的时候（关于服务描述，以及在服务寄宿过程中对服务描述的创建，《WCF技术剖析（卷1）》的第7章有详细的介绍），会抛出如图1所示的InvalidOperationException异常。

图1 多次声明相同的错误明细类型导致的异常

但是，如果你在应用FaultContractAttribute特性指定相同错误明细类型的同时，指定不同的Name或者Namespace，这是允许的。比如下面的代码中，在两个FaultContractAttribute特性中，同样是指定的相同的错误明细类型CalculationError，由于我们为之指定了不同的Name，在寄宿服务的时候将不会有上述异常的发生。

using System.ServiceModel;
namespace Artech.WcfServices.Contracts
{
    [ServiceContract(Namespace = "http://www.artech.com/")]
    public interface ICalculator
    {
        [OperationContract]
        [FaultContract(typeof(CalculationError), Name = "CalculationError")]
        [FaultContract(typeof(CalculationError), Name = "CalculationException")]
        int Divide(int x, int y);
    }
}

二、多次声明不同的具有相同有效名称错误明细类型

多次声明的错误类型的类型虽然不同，但是如果我们为其指定相同的Name和Namespace我们可以将Name和Namespace的组合称为有效名称QN：Qualified Name），这依然是不允许的。比如下面的代码中，通过FaultContractAttribute特性为Divide操作指定了两个不同的错误明细类型（CalculationError和CalculationException），但是设置的名称却是相同的（CalculationError）。

using System.ServiceModel;
namespace Artech.WcfServices.Contracts
{
    [ServiceContract(Namespace = "http://www.artech.com/")]
    public interface ICalculator
    {
        [OperationContract]
        [FaultContract(typeof(CalculationError),
Name = "CalculationError", Namespace = "http://www.artech.com/")]
        [FaultContract(typeof(CalculationException),
Name = "CalculationError", Namespace = "http://www.artech.com/")]
        int Divide(int x, int y);
    }
}

对于这种情况，在服务寄宿的时候，依然会和上面一样抛出一个InvalidOperationExcepiton异常，如图2所示：

图2 多次申明具有相同有效名称导致的异常

三、多次声明不同的具有相同数据契约有效名称的错误明细类型

还有另一种情况：虽然是多次申明的是不同的错误明细类型，但是通过DataContractAttribute特性定义它们的时候，指定了相同的名称和命名空间。如果我们将它们通过FaultContractAttribute特性应用到同一个操作上面，又会出现怎样的问题了。比如，在下面的代码中，我们定义了两个不同错误明细类型（CalculationError和CalculationFault），它们具有相同的数据契约名称（CalculationError）和命名空间（http://www.artech.com/）。

using System;
using System.Runtime.Serialization;
namespace Artech.WcfServices.Contracts
{
    [DataContractAttribute(Namespace="http://www.artech.com/")]
    public class CalculationError
    {
        [DataMember]
        public string Operation
        { get; set; }
        [DataMember]
        public string Message
        { get; set; }
    }

[DataContractAttribute(Namespace = "http://www.artech.com/", Name = "CalculationError")]
    public class CalculationFault
    {
        [DataMember]
        public string Fault
        { get; set; }
    }
}

如果我们通过下面的方式通过FaultContractAttribute特性将这两个类型应用到同一个服务操作上面，服务寄宿不会出什么问题，客户端的方法调用也能正常运行。

using System.ServiceModel;
namespace Artech.WcfServices.Contracts
{
    [ServiceContract(Namespace = "http://www.artech.com/")]
    public interface ICalculator
    {
        [OperationContract]
        [FaultContract(typeof(CalculationError))]
        [FaultContract(typeof(CalculationFault))]
        int Divide(int x, int y);
    }
}

但是，当我们试图通过HTTP-GET或者标准的MEX终结点获取以WSDL表示的服务元数据（Metadata）的时候就会出现问题。至于为什么会导致这样的问题,你大体可以这样来理解：当WCF为某个操作的错误描述（Fault Description）的时候，会创建一个字典来存储通过FaultContractAttribute特性指定的基于错误明细类型的数据契约。对于这个字典来说，它的Key为数据契约的有效名称（QN：Qualified Name），即名称和命名空间组合。由于CalculationError和CalculationFault具有相同的名称和命名空间，这无疑会造成Key的冲突。

由于数据契约是使对数据结构的一种描述，如果两个数据契约时等效的，不管其具体的托管类型是什么，WCF在遇到上述情况的时候，会自动识别并忽略其中一个，从而保证元数据能够正确产生。比如说，如果我们将CalculationFault进行如下的改写，服务的元数据就能够被正常地获得了。

[DataContractAttribute(Namespace = "http://www.artech.com/", Name = "CalculationError")]
public class CalculationFault
{
    [DataMember(Name = "Operation")]
    public string OperationName
    { get; set; }
    [DataMember(Name = "Message")]
    public string Fault
    { get; set; }
}

四、通过XmlSerializer对错误明细对象进行序列化

对于任何分别是框架来说，序列化和反序列化都是其功能体系中重要的一环。WCF通过一个重要的对象实现对托管对象的序列化和反序列化：序列化器（Serializer）。具体来说，所有序列化和反序列化的功能又最终落实到两个具体的序列化器上：DataContractSerializer和XmlSerializer。关于这两种序列化器，在《WCF技术剖析（卷1）》第5章中已经有过深入的探讨，在这里就需要在画蛇添足了。

WCF采用的默认序列化器是DataContractSerializer，但是有的时候，我们需要显示地控制某个服务或者服务的某个操作的序列化行为，通过XmlSerializer来序列化和反序列化操作的参数对象和返回值。举个例子，一个服务的绝大部分操作的参数类型都是通过数据契约的方式定义，但是对于个别的操作参数类型依然沿用的是传统XML的定义方式。在这种情况下，我们希望的是专门对这几个操作进行定制，让它们采用XmlSerializer作为它们的序列化器。

我们可以通过对自定义特性System.ServiceModel.XmlSerializerFormatAttribute的应用帮助我们是相上面的功能。从先面对XmlSerializerFormatAttribute的定义我们可以看出：应用特性的目标元素的类型包括接口、类和方法。也就是说，XmlSerializerFormatAttribute既可以应用于服务契约接口上，也可以应用于服务类型上，甚至可以应用于服务接口和服务类型的方法上。

[AttributeUsage(AttributeTargets.Interface | AttributeTargets.Method | AttributeTargets.Class, Inherited = false, AllowMultiple = false)]
public sealed class XmlSerializerFormatAttribute : Attribute
{
    public XmlSerializerFormatAttribute();
    public OperationFormatStyle Style { get; set; }
    public bool SupportFaults { get; set; }
    public OperationFormatUse Use { get; set; }
}

在默认的情况下，XmlSerializerFormatAttribute特性仅仅控制操作的参数和返回值的序列化行为，而不能控制错误明细对象的序列化行为。也就是说，基于在某个操作方法上应用了XmlSerializerFormatAttribute特性，WCF会采用XmlSerializer作为所有参数和返回值的序列化器，对于出现异常指定的错误明细对象，依然采用默认的DataContractSerializer进行序列化和反序列化。我们可以通过SupportFaults属性来显式地选择XmlSerializer作为错误明细对象的序列化器。在下面的代码中，我们将XmlSerializerFormatAttribute特性应用在服务契约的Divide操作上面，并将SupportFaults属性设为true。

using System.ServiceModel;
namespace Artech.WcfServices.Contracts
{
    [ServiceContract(Namespace = "http://www.artech.com/")]
    public interface ICalculator
    {
        [OperationContract]
        [FaultContract(typeof(CalculationError), Name = "CalculationError")]
        [XmlSerializerFormat(SupportFaults = true)]
        int Divide(int x, int y);
    }
}

那么对于Divide操作，WCF将会采用XmlSerializer同时作为参数、返回值和错误明细对象的序列化器。比如在这个时候，我们采用下面的形式对CalculationError进行重新定义:

using System;
using System.Runtime.Serialization;
using System.Xml;
using System.Xml.Serialization;
namespace Artech.WcfServices.Contracts
{
    [Serializable]
    public class CalculationError
    {
        [XmlAttributeAttribute("op")]
        public string Operation
        { get; set; }
        [XmlElement("Error")]
        public string Message
        { get; set; }
    }
}

在被零除而抛出异常的情况下，WCF将会生成如下一个Fault SOAP，其中s:Body>/<s:Fault>/ <s:Detail>节点中的XML为CalculationError对象序列化所的。

<s:Envelope xmlns:s="http://www.w3.org/2003/05/soap-envelope" xmlns:a="http://www.w3.org/2005/08/addressing">
  <s:Header>
    <a:Action s:mustUnderstand="1">http://www.artech.com/ICalculator/DivideCalculationError</a:Action>
    <a:RelatesTo>urn:uuid:7b01995b-9f81-4a08-9fa2-c5ef8c7cacc</a:RelatesTo>
  </s:Header>
  <s:Body>
    <s:Fault>
      <s:Code>
        <s:Value>s:Sender</s:Value>
      </s:Code>
      <s:Reason>
        <s:Text xml:lang="zh-CN">被除数y不能为零!!</s:Text>
      </s:Reason>
      <s:Detail>
        <CalculationError op="Divide" xmlns="http://www.artech.com/" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:xsd="http://www.w3.org/2001/XMLSchema">
          <Error>被除数y不能为零!!</Error>
        </CalculationError>
      </s:Detail>
    </s:Fault>
  </s:Body>
</s:Envelope>

作者：Artech
出处：http://artech.cnblogs.com
本文版权归作者和博客园共有，欢迎转载，但未经作者同意必须保留此段声明，且在文章页面明显位置给出原文连接，否则保留追究法律责任的权利。