使用PactNet做契约测试，为何未检测到类型变更的破坏性变更？

我正在使用PactNet搭建契约测试流程（消费者测试→Broker→提供者测试），但遇到一个问题：

初始消费者端的契约模型定义如下（C#）：

/// <summary>
/// Weather forecast Id 
/// </summary>
public int Id { get; init; }

/// <summary>
/// Temperature in celsius
/// </summary>
public int Temperature { get; init; }

流程运行正常后，我在生产者端将Temperature字段改为可空double类型：

/// <summary>
/// Weather forecast Id 
/// </summary>
public int Id { get; init; }

/// <summary>
/// Temperature in celsius
/// </summary>
public double? Temperature { get; init; } // 改为可空double

对应的pact.json内容如下：

{
  "description": "A valid request for a single weather data",
  "providerStates": [
    {
      "name": "Weather forecast with id = 10 exists"
    },
    {
      "name": "Any tenant context"
    }
  ],
  "request": {
    "method": "GET",
    "path": "/WeatherForecasts/10"
  },
  "response": {
    "body": {
      "Id": 1,
      "Temperature": 6
    },
    "headers": {
      "Content-Type": "application/json; charset=utf-8"
    },
    "matchingRules": {
      "body": {
        "$.Id": {
          "combine": "AND",
          "matchers": [
            {
              "match": "integer"
            }
          ]
        },
        "$.Temperature": {
          "combine": "AND",
          "matchers": [
            {
              "match": "integer"
            }
          ]
        }
      },
      "header": {}
    },
    "status": 200
  }
}

此时运行提供者测试仍能通过，但这个类型变更属于破坏性变更（消费者预期非空整数，生产者返回可空浮点数），Pact本应检测到这类变更。目前我只能检测到响应缺失属性的情况，请问我遗漏了什么配置或步骤？

核心原因 #

1. 当前契约的匹配规则仅要求Temperature是整数类型，但JSON序列化中，double类型的整数值（如6.0）会被序列化为6，和整数的格式一致，Pact的默认integer匹配器会兼容这种情况。
2. 契约中未添加非空约束，所以生产者返回null时才会触发不匹配，而返回整数值的double不会触发。

具体解决步骤 #

1. 在消费者测试中添加严格的匹配规则
   显式指定Temperature字段为非空整数，生成更精确的契约：

   // 消费者测试中定义响应的代码示例
   .WithResponse(HttpStatusCode.OK, configure =>
   {
       configure.Header("Content-Type", "application/json; charset=utf-8");
       configure.Body(new
       {
           Id = Match.Integer(),
           // 明确要求字段非空且为整数类型
           Temperature = Match.Integer().NotNull()
       });
   })
   

   调整后，pact.json的匹配规则会增加非空约束，同时类型匹配会更严格。

2. 启用提供者测试的严格模式
   在提供者验证环节开启严格模式，确保返回值完全符合契约的所有约束，不兼容类型转换：

   new PactVerifier(config)
       .WithProviderName("WeatherProvider")
       .WithPactBrokerSource(new Uri("http://your-broker-url"))
       .WithStrictMode() // 启用严格校验模式
       .Verify();
   

3. 针对类型区分的补充配置（可选）
   如果需要严格区分整数和浮点数（避免double整数值被误判为整数），可以使用更精确的匹配器，比如结合正则匹配：

   Temperature = Match.Regex(@"^-?\d+$", 6) // 匹配纯整数格式的字符串
   

   这种方式会强制校验返回值的格式，确保是整数而非浮点数。

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