cinera_handmade.network/cmuratori/hero/code/code006_template.html

90 lines
8.4 KiB
HTML
Raw Permalink Normal View History

<html>
<head>
<!-- __CINERA_INCLUDES__ -->
</head>
<body>
<div>
<!-- __CINERA_MENUS__ -->
<!-- __CINERA_PLAYER__ -->
</div>
<!-- __CINERA_SCRIPT__ -->
<article id="video-notes">
<h1><!-- __CINERA_TITLE__ --></h1>
<h3 id="so-what-s-with-all-that-define-and-typedef-mumbo-jumbo-there-">So what&#39;s with all that &quot;#define&quot; and &quot;typedef&quot; mumbo-jumbo there?</h3>
<p>You may have found yourself confused when looking at this code:</p>
<pre><code>#define X_INPUT_GET_STATE(name) DWORD WINAPI name(DWORD dwUserIndex, XINPUT_STATE *pState)
typedef X_INPUT_GET_STATE(x_input_get_state);
X_INPUT_GET_STATE(XInputGetStateStub)
{
return(0);
}
global_variable x_input_get_state *XInputGetState_ = XInputGetStateStub;
#define XInputGetState XInputGetState_
</code></pre><p>What on God&#39;s green earth is happening here? Well, don&#39;t despair. It&#39;s really quite simple, we just need to unwrap a few things and break it down line by line.</p>
<pre><code>#define X_INPUT_GET_STATE(name) DWORD WINAPI name(DWORD dwUserIndex, XINPUT_STATE *pState)
</code></pre><p>In C (as well as C++ and Objective C), the first step of the compilation process is a code transformation pass by the preprocessor. As we have covered previously in the series, any command which begins with a &quot;#&quot; is what is known as a preprocessor directive. This is just a command which will tell the preprocessor to do something, such as #include a file. In this case, &quot;#define&quot; is a directive which creates a macro. A macro can be thought of as a code substitution, anytime the processor finds the macro used in your code, it will swap it out for whatever you defined.</p>
<h2 id="the-two-types-of-macros">The two types of macros</h2>
<p>There are two types of macros, the first type is very simple and defines a constant value:</p>
<pre><code>#define PI 3.14159265359
</code></pre><p>This macro will cause the preprocessor to convert any instances of &quot;PI&quot; in the code directly into &quot;3.14159265359&quot;. If we break it down a bit, on the left hand side we have what is called the identifier (&quot;PI&quot;), and on the right hand side we have what is known as the token string (&quot;3.14159265359&quot;). The preprocessor searches the code for the identifier, and replaces it with the token string. This means that the literal text &quot;PI&quot; will no longer appear in our code, having been replaced with &quot;3.14159265359&quot;. This can be useful for constant values that we may want to use repeatedly, but not type in full all the time. Note that the preprocessor will not convert PI if it appears in a comment or as part of a longer identifier such as &quot;PieceOfPI&quot;.</p>
<p>So let&#39;s go back to the macro we were looking at earlier. </p>
<pre><code>#define X_INPUT_GET_STATE(name) DWORD WINAPI name(DWORD dwUserIndex, XINPUT_STATE *pState)
</code></pre><p>It is somewhat more complex and appears to have a function definition on the right for a function called &quot;name&quot;. This is the second type of macro, which uses a token string as part of it&#39;s definition.
As a simpler, but somewhat different example:</p>
<pre><code>#define ADD(argument1, argument2) argument1 + argument2
</code></pre><p>Looking at this, we can see that it can be broken down into two parts just the same as the previous macro. First, on the left side we have the identifier &quot;ADD(argument1, argument2)&quot;. This works similarly to the first kind of macro, but because we have written it like a function, the preprocessor will save whatever it finds in place of &quot;argument1&quot; and &quot;argument2&quot;, and then plug those in for where they were found in the token string.</p>
<p>For example, if later on in the code we were to type:</p>
<pre><code>int c = ADD(a,b);
</code></pre><p>Our macro would expand this out to:</p>
<pre><code>int c = a + b;
</code></pre><p>So, again we will go back to our original macro, but this time we are going to pair it with its first use:</p>
<pre><code>#define X_INPUT_GET_STATE(name) DWORD WINAPI name(DWORD dwUserIndex, XINPUT_STATE *pState)
typedef X_INPUT_GET_STATE(x_input_get_state);
</code></pre><p>Based on what we learned earlier we can see that the second line will expand out into the following:</p>
<pre><code>typedef DWORD WINAPI x_input_get_state(DWORD dwUserIndex, XINPUT_STATE *pState);
</code></pre><h2 id="what-s-a-typedef-">What&#39;s a typedef?</h2>
<p>So that&#39;s easy enough to see, but what does &#39;typedef&#39; mean?</p>
<p>In C, typedef declares a different name for a type. This can almost be thought of as similar to #define, but it is limited to type names only and is performed by the compiler instead of the preprocessor.</p>
<p>As a basic example, if we were to look at the following code:</p>
<pre><code>typedef char CHARACTER;
CHARACTER x;
</code></pre><p>The compiler will treat the type of x as though it were &#39;char.&#39; Why would we want to do this? Well, because declaring our own types allows us to make use of the compilers strict type checking. This means that if we were to declare a function which took a CHARACTER as the type of one of it&#39;s arguments then we would not be able to pass it a char without the compiler warning us about it, even though a CHARACTER was defined as a char and they are both signed one byte values.</p>
<pre><code>typedef DWORD WINAPI x_input_get_state(DWORD dwUserIndex, XINPUT_STATE *pState);
</code></pre><p>But in the Handmade Hero code, we are using typedef with a function declaration. This declares a function signature as a type. It is important to understand that although we can use that type to declare a function like this:</p>
<pre><code>x_input_get_state _XInputGetState()
</code></pre><p>Due to the rules of C, we are not allowed to then go on to define the function as follows:</p>
<pre><code>//INVALID C CODE FOLLOWS
x_input_get_state _XInputGetState()
{
//Do some things.
}
</code></pre><p>We can define a function using our typedef and also declare the same function by using the original function type information, however, this makes the typedef itself unnecessary.</p>
<h2 id="using-typedef-for-function-pointers">Using typedef for function pointers</h2>
<p>So why are we using a typedef with a function declaration here? Because we are planning on using it to create a function pointer. A function pointer is just what it sounds like, a pointer to a function. The main benefit of function pointers is that they can be treated like variables, that is, they can be reassigned or passed as arguments.</p>
<p>So this is how we would use our &quot;x_input_get_state&quot; typedef to declare a function pointer:</p>
<pre><code>x_input_get_state *PointerToXInputGetStateFunction;
</code></pre><p>We can then assign that pointer to any function which matches the signature of x_input_get_state:</p>
<pre><code>typedef DWORD WINAPI x_input_get_state(DWORD dwUserIndex, XINPUT_STATE *pState);
DWORD XInputGetStateStub(DWORD dwUserIndex, XINPUT_STATE *pState);
XInputGetStateStub
{
return(0);
}
global_variable x_input_get_state *XInputGetState_ = XInputGetStateStub;
</code></pre><p>Which if we were to unwrap our macros from the original code, is almost exactly what we would have:</p>
<pre><code>#define X_INPUT_GET_STATE(name) DWORD WINAPI name(DWORD dwUserIndex, XINPUT_STATE *pState)
typedef X_INPUT_GET_STATE(x_input_get_state);
X_INPUT_GET_STATE(XInputGetStateStub)
{
return(0);
}
global_variable x_input_get_state *XInputGetState_ = XInputGetStateStub;
</code></pre><p>Now all we have left is the last line:</p>
<pre><code>#define XInputGetState XInputGetState_
</code></pre><p>This is another simple macro which will substitute &quot;XInputGetState_&quot; for &quot;XInputGetState&quot; any time we use it in the code. We do this because XInputGetState is a function that has already been declared in xinput.h, and C does not allow us to declare functions multiple times. However, by using the preprocessor, we can type out our code as though we were just using XInputGetState we are actually using a function pointer which will either point to &#39;XInputGetStateStub&#39; in the case that we are unable to dynamically load in the XInput library, or will point to the correct &#39;XInputGetState&#39; function as defined by Microsoft in the case that we can load it.</p>
<p>Hope that&#39;s helped clear some things up for you. Happy Heroing!</p>
</article>
</body>
</html>