I have a question about the following code:<br><br>&nbsp;&nbsp;&nbsp; typedef void(intArrayParamFunc)(int[]);<br>&nbsp;&nbsp;&nbsp; typedef void(intPtrParamFunc)(int*);<br><br>&nbsp;&nbsp;&nbsp; BOOST_STATIC_ASSERT((boost::is_same&lt;intArrayParamFunc,intPtrParamFunc&gt;::value));<br>
&nbsp;&nbsp;&nbsp; BOOST_STATIC_ASSERT((boost::is_same&lt;int*,int[]&gt;::value));<br><br><br>&nbsp;&nbsp;&nbsp; cout &lt;&lt; typeid(intArrayParamFunc).name() &lt;&lt; endl;<br>&nbsp;&nbsp;&nbsp; cout &lt;&lt; typeid(intPtrParamFunc).name() &lt;&lt; endl;<br><br>&nbsp;&nbsp;&nbsp; cout &lt;&lt; typeid(int*).name() &lt;&lt; endl;<br>
&nbsp;&nbsp;&nbsp; cout &lt;&lt; typeid(int[]).name() &lt;&lt; endl;<br><br>The first assert compiles but the second fails, which means that boost::is_same&lt;&gt; thinks that int* and int[] are different, but void(int[]) and void(int*) are the same.&nbsp; Why is this?<br>
<br>The typeids print out the following:<br><br>void __cdecl(int * const)<br>void __cdecl(int *)<br>int *<br>int [0]<br><br>I&#39;m using Visual Studio 2008.&nbsp; I notice that typeid tells me that intArrayParamFunc is void(int* const).&nbsp; So why does boost::is_same&lt;&gt; compare them equal?&nbsp; Surely void(int* const) should not be the same type as void(int*).&nbsp; Unless this is just some obscure language subtlety I&#39;m not aware of.&nbsp; So is this a bug in boost::is_same&lt;&gt;, a bug in my compiler, or no bugs at all and everything is working perfectly?<br>