Design by contract is a software engineering technique in which each module of a software system specifies explicitly what input (or data or arguments) it requires, and what output (or information or results) it guarantees to produce in response. Class::Contract creates classes with contracts and automatic checking of those contracts. This paper discusses the features and implementation of Class::Contract.