| <a id="top"></a> | |
| # String conversions | |
| **Contents**<br> | |
| [operator << overload for std::ostream](#operator--overload-for-stdostream)<br> | |
| [Catch::StringMaker specialisation](#catchstringmaker-specialisation)<br> | |
| [Catch::is_range specialisation](#catchis_range-specialisation)<br> | |
| [Exceptions](#exceptions)<br> | |
| [Enums](#enums)<br> | |
| [Floating point precision](#floating-point-precision)<br> | |
| Catch needs to be able to convert types you use in assertions and logging expressions into strings (for logging and reporting purposes). | |
| Most built-in or std types are supported out of the box but there are two ways that you can tell Catch how to convert your own types (or other, third-party types) into strings. | |
| ## operator << overload for std::ostream | |
| This is the standard way of providing string conversions in C++ - and the chances are you may already provide this for your own purposes. If you're not familiar with this idiom it involves writing a free function of the form: | |
| ```cpp | |
| std::ostream& operator << ( std::ostream& os, T const& value ) { | |
| os << convertMyTypeToString( value ); | |
| return os; | |
| } | |
| ``` | |
| (where ```T``` is your type and ```convertMyTypeToString``` is where you'll write whatever code is necessary to make your type printable - it doesn't have to be in another function). | |
| You should put this function in the same namespace as your type, or the global namespace, and have it declared before including Catch's header. | |
| ## Catch::StringMaker specialisation | |
| If you don't want to provide an ```operator <<``` overload, or you want to convert your type differently for testing purposes, you can provide a specialization for `Catch::StringMaker<T>`: | |
| ```cpp | |
| namespace Catch { | |
| template<> | |
| struct StringMaker<T> { | |
| static std::string convert( T const& value ) { | |
| return convertMyTypeToString( value ); | |
| } | |
| }; | |
| } | |
| ``` | |
| ## Catch::is_range specialisation | |
| As a fallback, Catch attempts to detect if the type can be iterated | |
| (`begin(T)` and `end(T)` are valid) and if it can be, it is stringified | |
| as a range. For certain types this can lead to infinite recursion, so | |
| it can be disabled by specializing `Catch::is_range` like so: | |
| ```cpp | |
| namespace Catch { | |
| template<> | |
| struct is_range<T> { | |
| static const bool value = false; | |
| }; | |
| } | |
| ``` | |
| ## Exceptions | |
| By default all exceptions deriving from `std::exception` will be translated to strings by calling the `what()` method. For exception types that do not derive from `std::exception` - or if `what()` does not return a suitable string - use `CATCH_TRANSLATE_EXCEPTION`. This defines a function that takes your exception type, by reference, and returns a string. It can appear anywhere in the code - it doesn't have to be in the same translation unit. For example: | |
| ```cpp | |
| CATCH_TRANSLATE_EXCEPTION( MyType& ex ) { | |
| return ex.message(); | |
| } | |
| ``` | |
| ## Enums | |
| > Introduced in Catch 2.8.0. | |
| Enums that already have a `<<` overload for `std::ostream` will convert to strings as expected. | |
| If you only need to convert enums to strings for test reporting purposes you can provide a `StringMaker` specialisations as any other type. | |
| However, as a convenience, Catch provides the `REGISTER_ENUM` helper macro that will generate the `StringMaker` specialiation for you with minimal code. | |
| Simply provide it the (qualified) enum name, followed by all the enum values, and you're done! | |
| E.g. | |
| ```cpp | |
| enum class Fruits { Banana, Apple, Mango }; | |
| CATCH_REGISTER_ENUM( Fruits, Fruits::Banana, Fruits::Apple, Fruits::Mango ) | |
| TEST_CASE() { | |
| REQUIRE( Fruits::Mango == Fruits::Apple ); | |
| } | |
| ``` | |
| ... or if the enum is in a namespace: | |
| ```cpp | |
| namespace Bikeshed { | |
| enum class Colours { Red, Green, Blue }; | |
| } | |
| // Important!: This macro must appear at top level scope - not inside a namespace | |
| // You can fully qualify the names, or use a using if you prefer | |
| CATCH_REGISTER_ENUM( Bikeshed::Colours, | |
| Bikeshed::Colours::Red, | |
| Bikeshed::Colours::Green, | |
| Bikeshed::Colours::Blue ) | |
| TEST_CASE() { | |
| REQUIRE( Bikeshed::Colours::Red == Bikeshed::Colours::Blue ); | |
| } | |
| ``` | |
| ## Floating point precision | |
| > [Introduced](https://github.com/catchorg/Catch2/issues/1614) in Catch 2.8.0. | |
| Catch provides a built-in `StringMaker` specialization for both `float` | |
| and `double`. By default, it uses what we think is a reasonable precision, | |
| but you can customize it by modifying the `precision` static variable | |
| inside the `StringMaker` specialization, like so: | |
| ```cpp | |
| Catch::StringMaker<float>::precision = 15; | |
| const float testFloat1 = 1.12345678901234567899f; | |
| const float testFloat2 = 1.12345678991234567899f; | |
| REQUIRE(testFloat1 == testFloat2); | |
| ``` | |
| This assertion will fail and print out the `testFloat1` and `testFloat2` | |
| to 15 decimal places. | |
| --- | |
| [Home](Readme.md#top) | |