ContractFor가 다른 어셈블리에있는 경우 C # 용 코드 계약이 작동하지 않습니다.

ContractClass및을 사용하여 인터페이스에 대한 코드 계약을 정의하려고합니다 ContractClassFor. 모든 것이 동일한 어셈블리에 있으면 제대로 작동하지만 인터페이스 정의와 해당 계약 클래스를 다른 어셈블리에 넣은 다음 구체적인 클래스 구현에 넣으면 더 이상 작동하지 않습니다.

예를 들어이 코드는 다음과 같이 작동합니다.

namespace DummyProject
{
    [ContractClass(typeof(AccountContracts))]
    public interface IAccount
    {
        void Deposit(double amount);
    }

    [ContractClassFor(typeof(IAccount))]
    internal abstract class AccountContracts : IAccount
    {
        void IAccount.Deposit(double amount)
        {
            Contract.Requires(amount >= 0);
        }
    }

    internal class Account : IAccount
    {
        public void Deposit(double amount)
        {
            Console.WriteLine(amount);
        }
    }

    class Program
    {
        static void Main(string[] args)
        {
            Account account = new Account();
            // Contract.Requires will be checked below
            account.Deposit(-1);
        }
    }
}

이제 다음과 같은 별도의 프로젝트가있는 경우 :

namespace SeparateAssembly
{
    [ContractClass(typeof(SeparateAssemblyAccountContracts))]
    public interface ISeparateAssemblyAccount
    {
        void Deposit(double amount);
    }

    [ContractClassFor(typeof(ISeparateAssemblyAccount))]
    internal abstract class SeparateAssemblyAccountContracts 
        : ISeparateAssemblyAccount
    {
        void ISeparateAssemblyAccount.Deposit(double amount)
        {
            Contract.Requires(amount >= 0);
        }
    }
}

그런 다음 주 프로젝트 (위와 다른 어셈블리)에서 다음과 같이 작성합니다.

namespace DummyProject
{
    internal class AccountFromSeparateAssembly 
        : ISeparateAssemblyAccount
    {
        public void Deposit(double amount)
        {
            Console.WriteLine(amount);
        }
    }

    class Program
    {
        static void Main(string[] args)
        {
            ISeparateAssemblyAccount accountFromSeparateAssembly = 
                    new AccountFromSeparateAssembly();

            // Neither of the two statements below will work
            // Contract.Requires will be ignored
            accountFromSeparateAssembly.Deposit(-1);

            ((AccountFromSeparateAssembly)accountFromSeparateAssembly).Deposit(-1);
        }
    }
}

그런 다음 Contract.Requires더 이상 Deposit메서드 에서 확인되지 않습니다 .

이것에 대한 아이디어가 있습니까? 감사합니다!