src/foam/db/error/StaticAssert.H

   1 /*---------------------------------------------------------------------------*\
   2   =========                 |
   3   \\      /  F ield         | foam-extend: Open Source CFD
   4    \\    /   O peration     | Version:     3.2
   5     \\  /    A nd           | Web:         http://www.foam-extend.org
   6      \\/     M anipulation  | For copyright notice see file Copyright
   7 -------------------------------------------------------------------------------
   8 License
   9     This file is part of foam-extend.
  10
  11     foam-extend is free software: you can redistribute it and/or modify it
  12     under the terms of the GNU General Public License as published by the
  13     Free Software Foundation, either version 3 of the License, or (at your
  14     option) any later version.
  15
  16     foam-extend is distributed in the hope that it will be useful, but
  17     WITHOUT ANY WARRANTY; without even the implied warranty of
  18     MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
  19     General Public License for more details.
  20
  21     You should have received a copy of the GNU General Public License
  22     along with foam-extend.  If not, see <http://www.gnu.org/licenses/>.
  23
  24 Class
  25     Foam::StaticAssertFailed
  26
  27 Description
  28     Macros and classes to provide static (compile-time) assertions.
  29
  30     Ideas from various sources
  31     (http://www.ddj.com/cpp/184401547, http://www.boost.org)
  32
  33 \*---------------------------------------------------------------------------*/
  34
  35 #ifndef StaticAssert_H
  36 #define StaticAssert_H
  37
  38 namespace Foam
  39 {
  40
  41 //- Forward declaration of StaticAssertionFailed.
  42 //  Leave as an incomplete class so that sizeof(..) fails
  43 template<bool Truth> class StaticAssertionFailed;
  44
  45 /*---------------------------------------------------------------------------*\
  46                     Class StaticAssertionFailed Declaration
  47 \*---------------------------------------------------------------------------*/
  48
  49 //- Specialization for successful assertions
  50 template<>
  51 class StaticAssertionFailed<true>
  52 {};
  53
  54
  55 //- Helper class for handling static assertions
  56 template<unsigned Test>
  57 class StaticAssertionTest {};
  58
  59 }
  60
  61 // * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * //
  62
  63 // internal use:
  64 // ~~~~~~~~~~~~~
  65 // paste together strings, even if an argument is itself a macro
  66 #define StaticAssertMacro(X,Y)  StaticAssertMacro1(X,Y)
  67 #define StaticAssertMacro1(X,Y) StaticAssertMacro2(X,Y)
  68 #define StaticAssertMacro2(X,Y) X##Y
  69
  70 // external use:
  71 // ~~~~~~~~~~~~~
  72 /**
  73  * @def StaticAssert(Test)
  74  * Assert that some test is true at compile-time
  75 */
  76 #define StaticAssert(Test)                                                   \
  77     typedef ::Foam::StaticAssertionTest                                      \
  78     <                                                                        \
  79         sizeof( ::Foam::StaticAssertionFailed< ((Test) ? true : false) > )   \
  80     > StaticAssertMacro(StaticAssertionTest, __LINE__)
  81
  82 // * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * //
  83
  84 #endif
  85
  86 // ************************************************************************* //