Tôi có nên sử dụng Debug.Assert ngày hôm nay không?

Gần đây tôi đã bắt gặp một số mã mới được viết xen kẽ với rất nhiều Debug.Assert (C #).

Chúng ta vẫn nên sử dụng rộng rãi mặc dù sử dụng TDD, BDD và Kiểm tra đơn vị nói chung?

Tôi không thấy bất kỳ lý do tại sao bạn không nên sử dụng Assert. Bằng cách đó, bạn đã thừa nhận cần một người bảo vệ, như điều kiện tiên quyết & bất biến, và đang tiến tới Thiết kế theo Hợp đồng . Khẳng định chỉ là một cách để đạt được điều này ...

// Precondition using Asert
void SomeMethod(Foo someParameter)
{
    Debug.Assert(someParameter != null)
}

// Precondition using If-Then-Throw
void SomeMethod(Foo someParameter)
{
    if (someParameter == null)
        throw new ArgumentNullException("someParameter");
}

// Precondition using Code Contracts
void SomeMethod(Foo someParameter)
{
    Contract.Requires(someParameter != null);
}

// Precondition using some custom library
void SomeMethod(Foo someParameter)
{
    Require.ArgumentNotNull(() => someParameter);
}

Tất cả đều là cách để đạt được điều tương tự: sự mạnh mẽ trong mã. Chỉ cần chọn một tùy chọn, trong đó Assert là một lựa chọn hợp lệ.

Lưu ý rằng tôi đã không đề cập đến các bài kiểm tra đơn vị cho đến nay, vì họ hoàn thành một cái gì đó rất khác nhau. Một thử nghiệm đơn vị chính thức chứng minh sự mạnh mẽ của mã bằng cách thực hiện một người bảo vệ:

[Test]
void SomeMethod_WhenGivenNull_ThrowsArgumentNullException()
{
    delegate call = () => someObject.SomeMethod(null);

    Assert.That(call).Throws<ArgumentNullException>();
}

Đây là một loại khẳng định hoàn toàn khác ...

** Lưu ý rằng trong một số khung, thực sự rất khó để kiểm tra đơn vị cho lỗi xác nhận, vì lỗi xác nhận có thể làm giảm toàn bộ thời gian chạy, do đó, một trong các tùy chọn khác có thể được ưu tiên ... *

Tôi coi các khẳng định và kiểm tra đơn vị là hai công cụ khác nhau trong hộp công cụ của mình. Một số thứ phù hợp hơn với cái này, và một số thứ phù hợp hơn với cái khác.

Ví dụ, những ngày này tôi chủ yếu sử dụng các xác nhận để xác nhận các tham số cho các phương thức không công khai.

Tôi xem Debug.Assert là tối ưu hóa sớm hiện nay. Trừ khi bạn thực sự cần hiệu năng, việc loại bỏ Assert trong chế độ phát hành có thể ẩn lỗi lâu hơn.

Như MattDavey chỉ ra các hợp đồng mã có thể là ưu việt, cung cấp kiểm tra tĩnh thay vì kiểm tra động và nếu không có sẵn, tôi thích Trace.Assert hoặc cũ hơnif(x) throw SomeException;