<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"> <html xmlns="http://www.w3.org/1999/xhtml"> <head> <meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8"/> <meta http-equiv="X-UA-Compatible" content="IE=9"/> <meta name="generator" content="Doxygen 1.8.5"/> <title>Eigen: StaticAssert.h Source File</title> <link href="tabs.css" rel="stylesheet" type="text/css"/> <script type="text/javascript" src="jquery.js"></script> <script type="text/javascript" src="dynsections.js"></script> <link href="navtree.css" rel="stylesheet" type="text/css"/> <script type="text/javascript" src="resize.js"></script> <script type="text/javascript" src="navtree.js"></script> <script type="text/javascript"> $(document).ready(initResizable); $(window).load(resizeHeight); </script> <link href="search/search.css" rel="stylesheet" type="text/css"/> <script type="text/javascript" src="search/search.js"></script> <script type="text/javascript"> $(document).ready(function() { searchBox.OnSelectItem(0); }); </script> <link href="doxygen.css" rel="stylesheet" type="text/css" /> <link href="eigendoxy.css" rel="stylesheet" type="text/css"> <!-- --> <script type="text/javascript" src="eigen_navtree_hacks.js"></script> <!-- <script type="text/javascript"> --> <!-- </script> --> </head> <body> <div id="top"><!-- do not remove this div, it is closed by doxygen! --> <!-- <a name="top"></a> --> <div id="titlearea"> <table cellspacing="0" cellpadding="0"> <tbody> <tr style="height: 56px;"> <td id="projectlogo"><img alt="Logo" src="Eigen_Silly_Professor_64x64.png"/></td> <td style="padding-left: 0.5em;"> <div id="projectname"><a href="http://eigen.tuxfamily.org">Eigen</a>  <span id="projectnumber">3.2.0</span> </div> </td> <td> <div id="MSearchBox" class="MSearchBoxInactive"> <span class="left"> <img id="MSearchSelect" src="search/mag_sel.png" onmouseover="return searchBox.OnSearchSelectShow()" onmouseout="return searchBox.OnSearchSelectHide()" alt=""/> <input type="text" id="MSearchField" value="Search" accesskey="S" onfocus="searchBox.OnSearchFieldFocus(true)" onblur="searchBox.OnSearchFieldFocus(false)" onkeyup="searchBox.OnSearchFieldChange(event)"/> </span><span class="right"> <a id="MSearchClose" href="javascript:searchBox.CloseResultsWindow()"><img id="MSearchCloseImg" border="0" src="search/close.png" alt=""/></a> </span> </div> </td> </tr> </tbody> </table> </div> <!-- end header part --> <!-- Generated by Doxygen 1.8.5 --> <script type="text/javascript"> var searchBox = new SearchBox("searchBox", "search",false,'Search'); </script> </div><!-- top --> <div id="side-nav" class="ui-resizable side-nav-resizable"> <div id="nav-tree"> <div id="nav-tree-contents"> <div id="nav-sync" class="sync"></div> </div> </div> <div id="splitbar" style="-moz-user-select:none;" class="ui-resizable-handle"> </div> </div> <script type="text/javascript"> $(document).ready(function(){initNavTree('StaticAssert_8h_source.html','');}); </script> <div id="doc-content"> <!-- window showing the filter options --> <div id="MSearchSelectWindow" onmouseover="return searchBox.OnSearchSelectShow()" onmouseout="return searchBox.OnSearchSelectHide()" onkeydown="return searchBox.OnSearchSelectKey(event)"> <a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(0)"><span class="SelectionMark"> </span>All</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(1)"><span class="SelectionMark"> </span>Classes</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(2)"><span class="SelectionMark"> </span>Namespaces</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(3)"><span class="SelectionMark"> </span>Functions</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(4)"><span class="SelectionMark"> </span>Variables</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(5)"><span class="SelectionMark"> </span>Typedefs</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(6)"><span class="SelectionMark"> </span>Enumerations</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(7)"><span class="SelectionMark"> </span>Enumerator</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(8)"><span class="SelectionMark"> </span>Friends</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(9)"><span class="SelectionMark"> </span>Groups</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(10)"><span class="SelectionMark"> </span>Pages</a></div> <!-- iframe showing the search results (closed by default) --> <div id="MSearchResultsWindow"> <iframe src="javascript:void(0)" frameborder="0" name="MSearchResults" id="MSearchResults"> </iframe> </div> <div class="header"> <div class="headertitle"> <div class="title">StaticAssert.h</div> </div> </div><!--header--> <div class="contents"> <div class="fragment"><div class="line"><a name="l00001"></a><span class="lineno"> 1</span> <span class="comment">// This file is part of Eigen, a lightweight C++ template library</span></div> <div class="line"><a name="l00002"></a><span class="lineno"> 2</span> <span class="comment">// for linear algebra.</span></div> <div class="line"><a name="l00003"></a><span class="lineno"> 3</span> <span class="comment">//</span></div> <div class="line"><a name="l00004"></a><span class="lineno"> 4</span> <span class="comment">// Copyright (C) 2008 Gael Guennebaud <gael.guennebaud@inria.fr></span></div> <div class="line"><a name="l00005"></a><span class="lineno"> 5</span> <span class="comment">// Copyright (C) 2008 Benoit Jacob <jacob.benoit.1@gmail.com></span></div> <div class="line"><a name="l00006"></a><span class="lineno"> 6</span> <span class="comment">//</span></div> <div class="line"><a name="l00007"></a><span class="lineno"> 7</span> <span class="comment">// This Source Code Form is subject to the terms of the Mozilla</span></div> <div class="line"><a name="l00008"></a><span class="lineno"> 8</span> <span class="comment">// Public License v. 2.0. If a copy of the MPL was not distributed</span></div> <div class="line"><a name="l00009"></a><span class="lineno"> 9</span> <span class="comment">// with this file, You can obtain one at http://mozilla.org/MPL/2.0/.</span></div> <div class="line"><a name="l00010"></a><span class="lineno"> 10</span> </div> <div class="line"><a name="l00011"></a><span class="lineno"> 11</span> <span class="preprocessor">#ifndef EIGEN_STATIC_ASSERT_H</span></div> <div class="line"><a name="l00012"></a><span class="lineno"> 12</span> <span class="preprocessor"></span><span class="preprocessor">#define EIGEN_STATIC_ASSERT_H</span></div> <div class="line"><a name="l00013"></a><span class="lineno"> 13</span> <span class="preprocessor"></span></div> <div class="line"><a name="l00014"></a><span class="lineno"> 14</span> <span class="comment">/* Some notes on Eigen's static assertion mechanism:</span></div> <div class="line"><a name="l00015"></a><span class="lineno"> 15</span> <span class="comment"> *</span></div> <div class="line"><a name="l00016"></a><span class="lineno"> 16</span> <span class="comment"> * - in EIGEN_STATIC_ASSERT(CONDITION,MSG) the parameter CONDITION must be a compile time boolean</span></div> <div class="line"><a name="l00017"></a><span class="lineno"> 17</span> <span class="comment"> * expression, and MSG an enum listed in struct internal::static_assertion<true></span></div> <div class="line"><a name="l00018"></a><span class="lineno"> 18</span> <span class="comment"> *</span></div> <div class="line"><a name="l00019"></a><span class="lineno"> 19</span> <span class="comment"> * - define EIGEN_NO_STATIC_ASSERT to disable them (and save compilation time)</span></div> <div class="line"><a name="l00020"></a><span class="lineno"> 20</span> <span class="comment"> * in that case, the static assertion is converted to the following runtime assert:</span></div> <div class="line"><a name="l00021"></a><span class="lineno"> 21</span> <span class="comment"> * eigen_assert(CONDITION && "MSG")</span></div> <div class="line"><a name="l00022"></a><span class="lineno"> 22</span> <span class="comment"> *</span></div> <div class="line"><a name="l00023"></a><span class="lineno"> 23</span> <span class="comment"> * - currently EIGEN_STATIC_ASSERT can only be used in function scope</span></div> <div class="line"><a name="l00024"></a><span class="lineno"> 24</span> <span class="comment"> *</span></div> <div class="line"><a name="l00025"></a><span class="lineno"> 25</span> <span class="comment"> */</span></div> <div class="line"><a name="l00026"></a><span class="lineno"> 26</span> </div> <div class="line"><a name="l00027"></a><span class="lineno"> 27</span> <span class="preprocessor">#ifndef EIGEN_NO_STATIC_ASSERT</span></div> <div class="line"><a name="l00028"></a><span class="lineno"> 28</span> <span class="preprocessor"></span></div> <div class="line"><a name="l00029"></a><span class="lineno"> 29</span> <span class="preprocessor"> #if defined(__GXX_EXPERIMENTAL_CXX0X__) || (defined(_MSC_VER) && (_MSC_VER >= 1600))</span></div> <div class="line"><a name="l00030"></a><span class="lineno"> 30</span> <span class="preprocessor"></span></div> <div class="line"><a name="l00031"></a><span class="lineno"> 31</span>  <span class="comment">// if native static_assert is enabled, let's use it</span></div> <div class="line"><a name="l00032"></a><span class="lineno"> 32</span> <span class="preprocessor"> #define EIGEN_STATIC_ASSERT(X,MSG) static_assert(X,#MSG);</span></div> <div class="line"><a name="l00033"></a><span class="lineno"> 33</span> <span class="preprocessor"></span></div> <div class="line"><a name="l00034"></a><span class="lineno"> 34</span> <span class="preprocessor"> #else // not CXX0X</span></div> <div class="line"><a name="l00035"></a><span class="lineno"> 35</span> <span class="preprocessor"></span></div> <div class="line"><a name="l00036"></a><span class="lineno"> 36</span>  <span class="keyword">namespace </span>Eigen {</div> <div class="line"><a name="l00037"></a><span class="lineno"> 37</span> </div> <div class="line"><a name="l00038"></a><span class="lineno"> 38</span>  <span class="keyword">namespace </span>internal {</div> <div class="line"><a name="l00039"></a><span class="lineno"> 39</span> </div> <div class="line"><a name="l00040"></a><span class="lineno"> 40</span>  <span class="keyword">template</span><<span class="keywordtype">bool</span> condition></div> <div class="line"><a name="l00041"></a><span class="lineno"> 41</span>  <span class="keyword">struct </span>static_assertion {};</div> <div class="line"><a name="l00042"></a><span class="lineno"> 42</span> </div> <div class="line"><a name="l00043"></a><span class="lineno"> 43</span>  <span class="keyword">template</span><></div> <div class="line"><a name="l00044"></a><span class="lineno"> 44</span>  <span class="keyword">struct </span>static_assertion<true></div> <div class="line"><a name="l00045"></a><span class="lineno"> 45</span>  {</div> <div class="line"><a name="l00046"></a><span class="lineno"> 46</span>  <span class="keyword">enum</span> {</div> <div class="line"><a name="l00047"></a><span class="lineno"> 47</span>  YOU_TRIED_CALLING_A_VECTOR_METHOD_ON_A_MATRIX,</div> <div class="line"><a name="l00048"></a><span class="lineno"> 48</span>  YOU_MIXED_VECTORS_OF_DIFFERENT_SIZES,</div> <div class="line"><a name="l00049"></a><span class="lineno"> 49</span>  YOU_MIXED_MATRICES_OF_DIFFERENT_SIZES,</div> <div class="line"><a name="l00050"></a><span class="lineno"> 50</span>  THIS_METHOD_IS_ONLY_FOR_VECTORS_OF_A_SPECIFIC_SIZE,</div> <div class="line"><a name="l00051"></a><span class="lineno"> 51</span>  THIS_METHOD_IS_ONLY_FOR_MATRICES_OF_A_SPECIFIC_SIZE,</div> <div class="line"><a name="l00052"></a><span class="lineno"> 52</span>  THIS_METHOD_IS_ONLY_FOR_OBJECTS_OF_A_SPECIFIC_SIZE,</div> <div class="line"><a name="l00053"></a><span class="lineno"> 53</span>  YOU_MADE_A_PROGRAMMING_MISTAKE,</div> <div class="line"><a name="l00054"></a><span class="lineno"> 54</span>  EIGEN_INTERNAL_ERROR_PLEASE_FILE_A_BUG_REPORT,</div> <div class="line"><a name="l00055"></a><span class="lineno"> 55</span>  EIGEN_INTERNAL_COMPILATION_ERROR_OR_YOU_MADE_A_PROGRAMMING_MISTAKE,</div> <div class="line"><a name="l00056"></a><span class="lineno"> 56</span>  YOU_CALLED_A_FIXED_SIZE_METHOD_ON_A_DYNAMIC_SIZE_MATRIX_OR_VECTOR,</div> <div class="line"><a name="l00057"></a><span class="lineno"> 57</span>  YOU_CALLED_A_DYNAMIC_SIZE_METHOD_ON_A_FIXED_SIZE_MATRIX_OR_VECTOR,</div> <div class="line"><a name="l00058"></a><span class="lineno"> 58</span>  UNALIGNED_LOAD_AND_STORE_OPERATIONS_UNIMPLEMENTED_ON_ALTIVEC,</div> <div class="line"><a name="l00059"></a><span class="lineno"> 59</span>  THIS_FUNCTION_IS_NOT_FOR_INTEGER_NUMERIC_TYPES,</div> <div class="line"><a name="l00060"></a><span class="lineno"> 60</span>  FLOATING_POINT_ARGUMENT_PASSED__INTEGER_WAS_EXPECTED,</div> <div class="line"><a name="l00061"></a><span class="lineno"> 61</span>  NUMERIC_TYPE_MUST_BE_REAL,</div> <div class="line"><a name="l00062"></a><span class="lineno"> 62</span>  COEFFICIENT_WRITE_ACCESS_TO_SELFADJOINT_NOT_SUPPORTED,</div> <div class="line"><a name="l00063"></a><span class="lineno"> 63</span>  WRITING_TO_TRIANGULAR_PART_WITH_UNIT_DIAGONAL_IS_NOT_SUPPORTED,</div> <div class="line"><a name="l00064"></a><span class="lineno"> 64</span>  THIS_METHOD_IS_ONLY_FOR_FIXED_SIZE,</div> <div class="line"><a name="l00065"></a><span class="lineno"> 65</span>  INVALID_MATRIX_PRODUCT,</div> <div class="line"><a name="l00066"></a><span class="lineno"> 66</span>  INVALID_VECTOR_VECTOR_PRODUCT__IF_YOU_WANTED_A_DOT_OR_COEFF_WISE_PRODUCT_YOU_MUST_USE_THE_EXPLICIT_FUNCTIONS,</div> <div class="line"><a name="l00067"></a><span class="lineno"> 67</span>  INVALID_MATRIX_PRODUCT__IF_YOU_WANTED_A_COEFF_WISE_PRODUCT_YOU_MUST_USE_THE_EXPLICIT_FUNCTION,</div> <div class="line"><a name="l00068"></a><span class="lineno"> 68</span>  YOU_MIXED_DIFFERENT_NUMERIC_TYPES__YOU_NEED_TO_USE_THE_CAST_METHOD_OF_MATRIXBASE_TO_CAST_NUMERIC_TYPES_EXPLICITLY,</div> <div class="line"><a name="l00069"></a><span class="lineno"> 69</span>  THIS_METHOD_IS_ONLY_FOR_COLUMN_MAJOR_MATRICES,</div> <div class="line"><a name="l00070"></a><span class="lineno"> 70</span>  THIS_METHOD_IS_ONLY_FOR_ROW_MAJOR_MATRICES,</div> <div class="line"><a name="l00071"></a><span class="lineno"> 71</span>  INVALID_MATRIX_TEMPLATE_PARAMETERS,</div> <div class="line"><a name="l00072"></a><span class="lineno"> 72</span>  INVALID_MATRIXBASE_TEMPLATE_PARAMETERS,</div> <div class="line"><a name="l00073"></a><span class="lineno"> 73</span>  BOTH_MATRICES_MUST_HAVE_THE_SAME_STORAGE_ORDER,</div> <div class="line"><a name="l00074"></a><span class="lineno"> 74</span>  THIS_METHOD_IS_ONLY_FOR_DIAGONAL_MATRIX,</div> <div class="line"><a name="l00075"></a><span class="lineno"> 75</span>  THE_MATRIX_OR_EXPRESSION_THAT_YOU_PASSED_DOES_NOT_HAVE_THE_EXPECTED_TYPE,</div> <div class="line"><a name="l00076"></a><span class="lineno"> 76</span>  THIS_METHOD_IS_ONLY_FOR_EXPRESSIONS_WITH_DIRECT_MEMORY_ACCESS_SUCH_AS_MAP_OR_PLAIN_MATRICES,</div> <div class="line"><a name="l00077"></a><span class="lineno"> 77</span>  YOU_ALREADY_SPECIFIED_THIS_STRIDE,</div> <div class="line"><a name="l00078"></a><span class="lineno"> 78</span>  INVALID_STORAGE_ORDER_FOR_THIS_VECTOR_EXPRESSION,</div> <div class="line"><a name="l00079"></a><span class="lineno"> 79</span>  THE_BRACKET_OPERATOR_IS_ONLY_FOR_VECTORS__USE_THE_PARENTHESIS_OPERATOR_INSTEAD,</div> <div class="line"><a name="l00080"></a><span class="lineno"> 80</span>  PACKET_ACCESS_REQUIRES_TO_HAVE_INNER_STRIDE_FIXED_TO_1,</div> <div class="line"><a name="l00081"></a><span class="lineno"> 81</span>  THIS_METHOD_IS_ONLY_FOR_SPECIFIC_TRANSFORMATIONS,</div> <div class="line"><a name="l00082"></a><span class="lineno"> 82</span>  YOU_CANNOT_MIX_ARRAYS_AND_MATRICES,</div> <div class="line"><a name="l00083"></a><span class="lineno"> 83</span>  YOU_PERFORMED_AN_INVALID_TRANSFORMATION_CONVERSION,</div> <div class="line"><a name="l00084"></a><span class="lineno"> 84</span>  THIS_EXPRESSION_IS_NOT_A_LVALUE__IT_IS_READ_ONLY,</div> <div class="line"><a name="l00085"></a><span class="lineno"> 85</span>  YOU_ARE_TRYING_TO_USE_AN_INDEX_BASED_ACCESSOR_ON_AN_EXPRESSION_THAT_DOES_NOT_SUPPORT_THAT,</div> <div class="line"><a name="l00086"></a><span class="lineno"> 86</span>  THIS_METHOD_IS_ONLY_FOR_1x1_EXPRESSIONS,</div> <div class="line"><a name="l00087"></a><span class="lineno"> 87</span>  THIS_METHOD_IS_ONLY_FOR_EXPRESSIONS_OF_BOOL,</div> <div class="line"><a name="l00088"></a><span class="lineno"> 88</span>  THIS_METHOD_IS_ONLY_FOR_ARRAYS_NOT_MATRICES,</div> <div class="line"><a name="l00089"></a><span class="lineno"> 89</span>  YOU_PASSED_A_ROW_VECTOR_BUT_A_COLUMN_VECTOR_WAS_EXPECTED,</div> <div class="line"><a name="l00090"></a><span class="lineno"> 90</span>  YOU_PASSED_A_COLUMN_VECTOR_BUT_A_ROW_VECTOR_WAS_EXPECTED,</div> <div class="line"><a name="l00091"></a><span class="lineno"> 91</span>  THE_INDEX_TYPE_MUST_BE_A_SIGNED_TYPE,</div> <div class="line"><a name="l00092"></a><span class="lineno"> 92</span>  THE_STORAGE_ORDER_OF_BOTH_SIDES_MUST_MATCH,</div> <div class="line"><a name="l00093"></a><span class="lineno"> 93</span>  OBJECT_ALLOCATED_ON_STACK_IS_TOO_BIG</div> <div class="line"><a name="l00094"></a><span class="lineno"> 94</span>  };</div> <div class="line"><a name="l00095"></a><span class="lineno"> 95</span>  };</div> <div class="line"><a name="l00096"></a><span class="lineno"> 96</span> </div> <div class="line"><a name="l00097"></a><span class="lineno"> 97</span>  } <span class="comment">// end namespace internal</span></div> <div class="line"><a name="l00098"></a><span class="lineno"> 98</span> </div> <div class="line"><a name="l00099"></a><span class="lineno"> 99</span>  } <span class="comment">// end namespace Eigen</span></div> <div class="line"><a name="l00100"></a><span class="lineno"> 100</span> </div> <div class="line"><a name="l00101"></a><span class="lineno"> 101</span>  <span class="comment">// Specialized implementation for MSVC to avoid "conditional</span></div> <div class="line"><a name="l00102"></a><span class="lineno"> 102</span>  <span class="comment">// expression is constant" warnings. This implementation doesn't</span></div> <div class="line"><a name="l00103"></a><span class="lineno"> 103</span>  <span class="comment">// appear to work under GCC, hence the multiple implementations.</span></div> <div class="line"><a name="l00104"></a><span class="lineno"> 104</span> <span class="preprocessor"> #ifdef _MSC_VER</span></div> <div class="line"><a name="l00105"></a><span class="lineno"> 105</span> <span class="preprocessor"></span></div> <div class="line"><a name="l00106"></a><span class="lineno"> 106</span> <span class="preprocessor"> #define EIGEN_STATIC_ASSERT(CONDITION,MSG) \</span></div> <div class="line"><a name="l00107"></a><span class="lineno"> 107</span> <span class="preprocessor"> {Eigen::internal::static_assertion<bool(CONDITION)>::MSG;}</span></div> <div class="line"><a name="l00108"></a><span class="lineno"> 108</span> <span class="preprocessor"></span></div> <div class="line"><a name="l00109"></a><span class="lineno"> 109</span> <span class="preprocessor"> #else</span></div> <div class="line"><a name="l00110"></a><span class="lineno"> 110</span> <span class="preprocessor"></span></div> <div class="line"><a name="l00111"></a><span class="lineno"> 111</span> <span class="preprocessor"> #define EIGEN_STATIC_ASSERT(CONDITION,MSG) \</span></div> <div class="line"><a name="l00112"></a><span class="lineno"> 112</span> <span class="preprocessor"> if (Eigen::internal::static_assertion<bool(CONDITION)>::MSG) {}</span></div> <div class="line"><a name="l00113"></a><span class="lineno"> 113</span> <span class="preprocessor"></span></div> <div class="line"><a name="l00114"></a><span class="lineno"> 114</span> <span class="preprocessor"> #endif</span></div> <div class="line"><a name="l00115"></a><span class="lineno"> 115</span> <span class="preprocessor"></span></div> <div class="line"><a name="l00116"></a><span class="lineno"> 116</span> <span class="preprocessor"> #endif // not CXX0X</span></div> <div class="line"><a name="l00117"></a><span class="lineno"> 117</span> <span class="preprocessor"></span></div> <div class="line"><a name="l00118"></a><span class="lineno"> 118</span> <span class="preprocessor">#else // EIGEN_NO_STATIC_ASSERT</span></div> <div class="line"><a name="l00119"></a><span class="lineno"> 119</span> <span class="preprocessor"></span></div> <div class="line"><a name="l00120"></a><span class="lineno"> 120</span> <span class="preprocessor"> #define EIGEN_STATIC_ASSERT(CONDITION,MSG) eigen_assert((CONDITION) && #MSG);</span></div> <div class="line"><a name="l00121"></a><span class="lineno"> 121</span> <span class="preprocessor"></span></div> <div class="line"><a name="l00122"></a><span class="lineno"> 122</span> <span class="preprocessor">#endif // EIGEN_NO_STATIC_ASSERT</span></div> <div class="line"><a name="l00123"></a><span class="lineno"> 123</span> <span class="preprocessor"></span></div> <div class="line"><a name="l00124"></a><span class="lineno"> 124</span> </div> <div class="line"><a name="l00125"></a><span class="lineno"> 125</span> <span class="comment">// static assertion failing if the type \a TYPE is not a vector type</span></div> <div class="line"><a name="l00126"></a><span class="lineno"> 126</span> <span class="preprocessor">#define EIGEN_STATIC_ASSERT_VECTOR_ONLY(TYPE) \</span></div> <div class="line"><a name="l00127"></a><span class="lineno"> 127</span> <span class="preprocessor"> EIGEN_STATIC_ASSERT(TYPE::IsVectorAtCompileTime, \</span></div> <div class="line"><a name="l00128"></a><span class="lineno"> 128</span> <span class="preprocessor"> YOU_TRIED_CALLING_A_VECTOR_METHOD_ON_A_MATRIX)</span></div> <div class="line"><a name="l00129"></a><span class="lineno"> 129</span> <span class="preprocessor"></span></div> <div class="line"><a name="l00130"></a><span class="lineno"> 130</span> <span class="comment">// static assertion failing if the type \a TYPE is not fixed-size</span></div> <div class="line"><a name="l00131"></a><span class="lineno"> 131</span> <span class="preprocessor">#define EIGEN_STATIC_ASSERT_FIXED_SIZE(TYPE) \</span></div> <div class="line"><a name="l00132"></a><span class="lineno"> 132</span> <span class="preprocessor"> EIGEN_STATIC_ASSERT(TYPE::SizeAtCompileTime!=Eigen::Dynamic, \</span></div> <div class="line"><a name="l00133"></a><span class="lineno"> 133</span> <span class="preprocessor"> YOU_CALLED_A_FIXED_SIZE_METHOD_ON_A_DYNAMIC_SIZE_MATRIX_OR_VECTOR)</span></div> <div class="line"><a name="l00134"></a><span class="lineno"> 134</span> <span class="preprocessor"></span></div> <div class="line"><a name="l00135"></a><span class="lineno"> 135</span> <span class="comment">// static assertion failing if the type \a TYPE is not dynamic-size</span></div> <div class="line"><a name="l00136"></a><span class="lineno"> 136</span> <span class="preprocessor">#define EIGEN_STATIC_ASSERT_DYNAMIC_SIZE(TYPE) \</span></div> <div class="line"><a name="l00137"></a><span class="lineno"> 137</span> <span class="preprocessor"> EIGEN_STATIC_ASSERT(TYPE::SizeAtCompileTime==Eigen::Dynamic, \</span></div> <div class="line"><a name="l00138"></a><span class="lineno"> 138</span> <span class="preprocessor"> YOU_CALLED_A_DYNAMIC_SIZE_METHOD_ON_A_FIXED_SIZE_MATRIX_OR_VECTOR)</span></div> <div class="line"><a name="l00139"></a><span class="lineno"> 139</span> <span class="preprocessor"></span></div> <div class="line"><a name="l00140"></a><span class="lineno"> 140</span> <span class="comment">// static assertion failing if the type \a TYPE is not a vector type of the given size</span></div> <div class="line"><a name="l00141"></a><span class="lineno"> 141</span> <span class="preprocessor">#define EIGEN_STATIC_ASSERT_VECTOR_SPECIFIC_SIZE(TYPE, SIZE) \</span></div> <div class="line"><a name="l00142"></a><span class="lineno"> 142</span> <span class="preprocessor"> EIGEN_STATIC_ASSERT(TYPE::IsVectorAtCompileTime && TYPE::SizeAtCompileTime==SIZE, \</span></div> <div class="line"><a name="l00143"></a><span class="lineno"> 143</span> <span class="preprocessor"> THIS_METHOD_IS_ONLY_FOR_VECTORS_OF_A_SPECIFIC_SIZE)</span></div> <div class="line"><a name="l00144"></a><span class="lineno"> 144</span> <span class="preprocessor"></span></div> <div class="line"><a name="l00145"></a><span class="lineno"> 145</span> <span class="comment">// static assertion failing if the type \a TYPE is not a vector type of the given size</span></div> <div class="line"><a name="l00146"></a><span class="lineno"> 146</span> <span class="preprocessor">#define EIGEN_STATIC_ASSERT_MATRIX_SPECIFIC_SIZE(TYPE, ROWS, COLS) \</span></div> <div class="line"><a name="l00147"></a><span class="lineno"> 147</span> <span class="preprocessor"> EIGEN_STATIC_ASSERT(TYPE::RowsAtCompileTime==ROWS && TYPE::ColsAtCompileTime==COLS, \</span></div> <div class="line"><a name="l00148"></a><span class="lineno"> 148</span> <span class="preprocessor"> THIS_METHOD_IS_ONLY_FOR_MATRICES_OF_A_SPECIFIC_SIZE)</span></div> <div class="line"><a name="l00149"></a><span class="lineno"> 149</span> <span class="preprocessor"></span></div> <div class="line"><a name="l00150"></a><span class="lineno"> 150</span> <span class="comment">// static assertion failing if the two vector expression types are not compatible (same fixed-size or dynamic size)</span></div> <div class="line"><a name="l00151"></a><span class="lineno"> 151</span> <span class="preprocessor">#define EIGEN_STATIC_ASSERT_SAME_VECTOR_SIZE(TYPE0,TYPE1) \</span></div> <div class="line"><a name="l00152"></a><span class="lineno"> 152</span> <span class="preprocessor"> EIGEN_STATIC_ASSERT( \</span></div> <div class="line"><a name="l00153"></a><span class="lineno"> 153</span> <span class="preprocessor"> (int(TYPE0::SizeAtCompileTime)==Eigen::Dynamic \</span></div> <div class="line"><a name="l00154"></a><span class="lineno"> 154</span> <span class="preprocessor"> || int(TYPE1::SizeAtCompileTime)==Eigen::Dynamic \</span></div> <div class="line"><a name="l00155"></a><span class="lineno"> 155</span> <span class="preprocessor"> || int(TYPE0::SizeAtCompileTime)==int(TYPE1::SizeAtCompileTime)),\</span></div> <div class="line"><a name="l00156"></a><span class="lineno"> 156</span> <span class="preprocessor"> YOU_MIXED_VECTORS_OF_DIFFERENT_SIZES)</span></div> <div class="line"><a name="l00157"></a><span class="lineno"> 157</span> <span class="preprocessor"></span></div> <div class="line"><a name="l00158"></a><span class="lineno"> 158</span> <span class="preprocessor">#define EIGEN_PREDICATE_SAME_MATRIX_SIZE(TYPE0,TYPE1) \</span></div> <div class="line"><a name="l00159"></a><span class="lineno"> 159</span> <span class="preprocessor"> ( \</span></div> <div class="line"><a name="l00160"></a><span class="lineno"> 160</span> <span class="preprocessor"> (int(TYPE0::SizeAtCompileTime)==0 && int(TYPE1::SizeAtCompileTime)==0) \</span></div> <div class="line"><a name="l00161"></a><span class="lineno"> 161</span> <span class="preprocessor"> || (\</span></div> <div class="line"><a name="l00162"></a><span class="lineno"> 162</span> <span class="preprocessor"> (int(TYPE0::RowsAtCompileTime)==Eigen::Dynamic \</span></div> <div class="line"><a name="l00163"></a><span class="lineno"> 163</span> <span class="preprocessor"> || int(TYPE1::RowsAtCompileTime)==Eigen::Dynamic \</span></div> <div class="line"><a name="l00164"></a><span class="lineno"> 164</span> <span class="preprocessor"> || int(TYPE0::RowsAtCompileTime)==int(TYPE1::RowsAtCompileTime)) \</span></div> <div class="line"><a name="l00165"></a><span class="lineno"> 165</span> <span class="preprocessor"> && (int(TYPE0::ColsAtCompileTime)==Eigen::Dynamic \</span></div> <div class="line"><a name="l00166"></a><span class="lineno"> 166</span> <span class="preprocessor"> || int(TYPE1::ColsAtCompileTime)==Eigen::Dynamic \</span></div> <div class="line"><a name="l00167"></a><span class="lineno"> 167</span> <span class="preprocessor"> || int(TYPE0::ColsAtCompileTime)==int(TYPE1::ColsAtCompileTime))\</span></div> <div class="line"><a name="l00168"></a><span class="lineno"> 168</span> <span class="preprocessor"> ) \</span></div> <div class="line"><a name="l00169"></a><span class="lineno"> 169</span> <span class="preprocessor"> )</span></div> <div class="line"><a name="l00170"></a><span class="lineno"> 170</span> <span class="preprocessor"></span></div> <div class="line"><a name="l00171"></a><span class="lineno"> 171</span> <span class="preprocessor">#ifdef EIGEN2_SUPPORT</span></div> <div class="line"><a name="l00172"></a><span class="lineno"> 172</span> <span class="preprocessor"></span><span class="preprocessor"> #define EIGEN_STATIC_ASSERT_NON_INTEGER(TYPE) \</span></div> <div class="line"><a name="l00173"></a><span class="lineno"> 173</span> <span class="preprocessor"> eigen_assert(!NumTraits<Scalar>::IsInteger);</span></div> <div class="line"><a name="l00174"></a><span class="lineno"> 174</span> <span class="preprocessor"></span><span class="preprocessor">#else</span></div> <div class="line"><a name="l00175"></a><span class="lineno"> 175</span> <span class="preprocessor"></span><span class="preprocessor"> #define EIGEN_STATIC_ASSERT_NON_INTEGER(TYPE) \</span></div> <div class="line"><a name="l00176"></a><span class="lineno"> 176</span> <span class="preprocessor"> EIGEN_STATIC_ASSERT(!NumTraits<TYPE>::IsInteger, THIS_FUNCTION_IS_NOT_FOR_INTEGER_NUMERIC_TYPES)</span></div> <div class="line"><a name="l00177"></a><span class="lineno"> 177</span> <span class="preprocessor"></span><span class="preprocessor">#endif</span></div> <div class="line"><a name="l00178"></a><span class="lineno"> 178</span> <span class="preprocessor"></span></div> <div class="line"><a name="l00179"></a><span class="lineno"> 179</span> </div> <div class="line"><a name="l00180"></a><span class="lineno"> 180</span> <span class="comment">// static assertion failing if it is guaranteed at compile-time that the two matrix expression types have different sizes</span></div> <div class="line"><a name="l00181"></a><span class="lineno"> 181</span> <span class="preprocessor">#define EIGEN_STATIC_ASSERT_SAME_MATRIX_SIZE(TYPE0,TYPE1) \</span></div> <div class="line"><a name="l00182"></a><span class="lineno"> 182</span> <span class="preprocessor"> EIGEN_STATIC_ASSERT( \</span></div> <div class="line"><a name="l00183"></a><span class="lineno"> 183</span> <span class="preprocessor"> EIGEN_PREDICATE_SAME_MATRIX_SIZE(TYPE0,TYPE1),\</span></div> <div class="line"><a name="l00184"></a><span class="lineno"> 184</span> <span class="preprocessor"> YOU_MIXED_MATRICES_OF_DIFFERENT_SIZES)</span></div> <div class="line"><a name="l00185"></a><span class="lineno"> 185</span> <span class="preprocessor"></span></div> <div class="line"><a name="l00186"></a><span class="lineno"> 186</span> <span class="preprocessor">#define EIGEN_STATIC_ASSERT_SIZE_1x1(TYPE) \</span></div> <div class="line"><a name="l00187"></a><span class="lineno"> 187</span> <span class="preprocessor"> EIGEN_STATIC_ASSERT((TYPE::RowsAtCompileTime == 1 || TYPE::RowsAtCompileTime == Dynamic) && \</span></div> <div class="line"><a name="l00188"></a><span class="lineno"> 188</span> <span class="preprocessor"> (TYPE::ColsAtCompileTime == 1 || TYPE::ColsAtCompileTime == Dynamic), \</span></div> <div class="line"><a name="l00189"></a><span class="lineno"> 189</span> <span class="preprocessor"> THIS_METHOD_IS_ONLY_FOR_1x1_EXPRESSIONS)</span></div> <div class="line"><a name="l00190"></a><span class="lineno"> 190</span> <span class="preprocessor"></span></div> <div class="line"><a name="l00191"></a><span class="lineno"> 191</span> <span class="preprocessor">#define EIGEN_STATIC_ASSERT_LVALUE(Derived) \</span></div> <div class="line"><a name="l00192"></a><span class="lineno"> 192</span> <span class="preprocessor"> EIGEN_STATIC_ASSERT(internal::is_lvalue<Derived>::value, \</span></div> <div class="line"><a name="l00193"></a><span class="lineno"> 193</span> <span class="preprocessor"> THIS_EXPRESSION_IS_NOT_A_LVALUE__IT_IS_READ_ONLY)</span></div> <div class="line"><a name="l00194"></a><span class="lineno"> 194</span> <span class="preprocessor"></span></div> <div class="line"><a name="l00195"></a><span class="lineno"> 195</span> <span class="preprocessor">#define EIGEN_STATIC_ASSERT_ARRAYXPR(Derived) \</span></div> <div class="line"><a name="l00196"></a><span class="lineno"> 196</span> <span class="preprocessor"> EIGEN_STATIC_ASSERT((internal::is_same<typename internal::traits<Derived>::XprKind, ArrayXpr>::value), \</span></div> <div class="line"><a name="l00197"></a><span class="lineno"> 197</span> <span class="preprocessor"> THIS_METHOD_IS_ONLY_FOR_ARRAYS_NOT_MATRICES)</span></div> <div class="line"><a name="l00198"></a><span class="lineno"> 198</span> <span class="preprocessor"></span></div> <div class="line"><a name="l00199"></a><span class="lineno"> 199</span> <span class="preprocessor">#define EIGEN_STATIC_ASSERT_SAME_XPR_KIND(Derived1, Derived2) \</span></div> <div class="line"><a name="l00200"></a><span class="lineno"> 200</span> <span class="preprocessor"> EIGEN_STATIC_ASSERT((internal::is_same<typename internal::traits<Derived1>::XprKind, \</span></div> <div class="line"><a name="l00201"></a><span class="lineno"> 201</span> <span class="preprocessor"> typename internal::traits<Derived2>::XprKind \</span></div> <div class="line"><a name="l00202"></a><span class="lineno"> 202</span> <span class="preprocessor"> >::value), \</span></div> <div class="line"><a name="l00203"></a><span class="lineno"> 203</span> <span class="preprocessor"> YOU_CANNOT_MIX_ARRAYS_AND_MATRICES)</span></div> <div class="line"><a name="l00204"></a><span class="lineno"> 204</span> <span class="preprocessor"></span></div> <div class="line"><a name="l00205"></a><span class="lineno"> 205</span> </div> <div class="line"><a name="l00206"></a><span class="lineno"> 206</span> <span class="preprocessor">#endif // EIGEN_STATIC_ASSERT_H</span></div> </div><!-- fragment --></div><!-- contents --> </div><!-- doc-content --> <!-- start footer part --> <div id="nav-path" class="navpath"><!-- id is needed for treeview function! --> <ul> <li class="navelem"><a class="el" href="dir_e49d68e3078f12dfcf157021597ad168.html">Eigen</a></li><li class="navelem"><a class="el" href="dir_64b228556dc7f9fe757d43bb57fbfc24.html">src</a></li><li class="navelem"><a class="el" href="dir_55812ea607075be3acfc18281a2aed64.html">Core</a></li><li class="navelem"><a class="el" href="dir_2e5594a1069693e39fef1e5ccec01739.html">util</a></li><li class="navelem"><b>StaticAssert.h</b></li> <li class="footer">Generated on Mon Oct 28 2013 11:04:26 for Eigen by <a href="http://www.doxygen.org/index.html"> <img class="footer" src="doxygen.png" alt="doxygen"/></a> 1.8.5 </li> </ul> </div> <!-- Piwik --> <!-- <script type="text/javascript"> var pkBaseURL = (("https:" == document.location.protocol) ? "https://stats.sylphide-consulting.com/piwik/" : "http://stats.sylphide-consulting.com/piwik/"); document.write(unescape("%3Cscript src='" + pkBaseURL + "piwik.js' type='text/javascript'%3E%3C/script%3E")); </script><script type="text/javascript"> try { var piwikTracker = Piwik.getTracker(pkBaseURL + "piwik.php", 20); piwikTracker.trackPageView(); piwikTracker.enableLinkTracking(); } catch( err ) {} </script><noscript><p><img src="http://stats.sylphide-consulting.com/piwik/piwik.php?idsite=20" style="border:0" alt="" /></p></noscript> --> <!-- End Piwik Tracking Code --> </body> </html>