deleting a char array with cast to char*?
<p>Which of these should be used?</p>

<pre><code>char *ex = new char[255];
// code
delete [] ex;
</code></pre>

<p>or</p>

<pre><code>char *ex = new char[255];
// code
delete [] (char *) ex;
</code></pre>

<p>I'm thinking that the cast isn't necessary, but would it have any effect on the actual deletion?</p>
