00001 /*---------------------------------------------------------------------------*\ 00002 ========= | 00003 \\ / F ield | OpenFOAM: The Open Source CFD Toolbox 00004 \\ / O peration | 00005 \\ / A nd | Copyright (C) 1991-2010 OpenCFD Ltd. 00006 \\/ M anipulation | 00007 ------------------------------------------------------------------------------- 00008 License 00009 This file is part of OpenFOAM. 00010 00011 OpenFOAM is free software: you can redistribute it and/or modify it 00012 under the terms of the GNU General Public License as published by 00013 the Free Software Foundation, either version 3 of the License, or 00014 (at your option) any later version. 00015 00016 OpenFOAM is distributed in the hope that it will be useful, but WITHOUT 00017 ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or 00018 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License 00019 for more details. 00020 00021 You should have received a copy of the GNU General Public License 00022 along with OpenFOAM. If not, see <http://www.gnu.org/licenses/>. 00023 00024 Class 00025 Foam::StaticAssertionFailed 00026 00027 Description 00028 Macros and classes to provide static (compile-time) assertions. 00029 00030 Ideas from various sources 00031 (http://www.ddj.com/cpp/184401547, http://www.boost.org) 00032 00033 \*---------------------------------------------------------------------------*/ 00034 00035 #ifndef StaticAssert_H 00036 #define StaticAssert_H 00037 00038 namespace Foam 00039 { 00040 00041 //- Forward declaration of StaticAssertionFailed. 00042 // Leave as an incomplete class so that sizeof(..) fails 00043 template<bool Truth> class StaticAssertionFailed; 00044 00045 /*---------------------------------------------------------------------------*\ 00046 Class StaticAssertionFailed Declaration 00047 \*---------------------------------------------------------------------------*/ 00048 00049 //- Specialization for successful assertions 00050 template<> 00051 class StaticAssertionFailed<true> 00052 {}; 00053 00054 00055 //- Helper class for handling static assertions 00056 template<unsigned Test> 00057 class StaticAssertionTest {}; 00058 00059 } 00060 00061 // * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * // 00062 00063 // internal use: 00064 // ~~~~~~~~~~~~~ 00065 // paste together strings, even if an argument is itself a macro 00066 #define StaticAssertMacro(X,Y) StaticAssertMacro1(X,Y) 00067 #define StaticAssertMacro1(X,Y) StaticAssertMacro2(X,Y) 00068 #define StaticAssertMacro2(X,Y) X##Y 00069 00070 // external use: 00071 // ~~~~~~~~~~~~~ 00076 #define StaticAssert(Test) \ 00077 typedef ::Foam::StaticAssertionTest \ 00078 < \ 00079 sizeof( ::Foam::StaticAssertionFailed< ((Test) ? true : false) > ) \ 00080 > StaticAssertMacro(StaticAssertionTest, __LINE__) 00081 00082 // * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * // 00083 00084 #endif 00085 00086 // ************************ vim: set sw=4 sts=4 et: ************************ //
