pass linkerflag to the linker, for example,
-M
diff -uNr dmd-1.005/dmd/html/d/function.html dmd-1.006/dmd/html/d/function.html
--- dmd-1.005/dmd/html/d/function.html 2007-02-04 12:10:28.000000000 +0100
+++ dmd-1.006/dmd/html/d/function.html 2007-02-14 21:47:06.000000000 +0100
@@ -32,7 +32,7 @@
- Last update Sun Feb 4 12:10:27 2007
+
Last update Wed Feb 14 21:47:04 2007
A subset of functions can be executed at compile time.
+ This is useful when constant folding algorithms need to
+ include recursion and looping.
+ In order to be executed at compile time, a function must
+ meet the following criteria:
+
+
+
+ - function arguments must all be:
+
- integer literals
+ - floating point literals
+ - character literals
+ - string literals
+ - array literals where the members are all items
+ in this list
+ - const variables initialized with a member of
+ this list
+
+
+
+ - function parameters may not be variadic,
+ out, inout, or lazy
+
+ - the function may not be nested or synchronized
+
+ - the function may not be a non-static member, i.e.
+ it may not have a this pointer
+
+ - expressions in the function may not:
+
- throw exceptions
+ - use pointers, delegates, non-const arrays,
+ structs, unions or classes
+ - reference any global state or variables
+ - reference any local static variables
+ - new or delete
+ - call any function that is not
+ executable at compile time
+
+
+
+ - the following statement types are not allowed:
+
- syncrhonized statements
+ - throw statements
+ - with statements
+ - scope statements
+ - try-catch-finally statements
+ - labelled break and continue statements
+
+
+
+
+ In order to be executed at compile time, the function
+ must appear in a context where it must be so executed, for
+ example:
+
+ - initialization of a static variable
+ - dimension of a static array
+ - argument for a template value parameter
+
+
+template eval(A...) { alias A eval; }
+
+int square(int i) { return i * i; }
+
+void foo()
+{
+ static j = square(3); writefln(j);
+ writefln(square(4)); writefln(eval!(square(5))); }
+
+
+ Executing functions at compile time can take considerably
+ longer than executing it at run time.
+ If the function goes into an infinite loop, it will hang at
+ compile time (rather than hanging at run time).
+
+
+ Functions executed at compile time can give different results
+ from run time in the following scenarios:
+
+
+
+ - floating point computations may be done at a higher
+ precision than run time
+ - dependency on implementation defined order of evaluation
+ - use of uninitialized variables
+
+
+
+ These are the same kinds of scenarios where different
+ optimization settings affect the results.
+
diff -uNr dmd-1.005/dmd/html/d/future.html dmd-1.006/dmd/html/d/future.html
--- dmd-1.005/dmd/html/d/future.html 2007-02-04 12:10:30.000000000 +0100
+++ dmd-1.006/dmd/html/d/future.html 2007-02-13 17:58:44.000000000 +0100
@@ -32,7 +32,7 @@
- Last update Sun Feb 4 12:10:28 2007
+
Last update Tue Feb 13 17:58:43 2007
Future Directions
-
The release of D version 1.0 is scheduled for Jan 1, 2007.
-
The following new features for D are planned for post 1.0,
but the details have
not been worked out:
diff -uNr dmd-1.005/dmd/html/d/phobos/object.html dmd-1.006/dmd/html/d/phobos/object.html
--- dmd-1.005/dmd/html/d/phobos/object.html 2007-02-05 18:37:16.000000000 +0100
+++ dmd-1.006/dmd/html/d/phobos/object.html 2007-02-15 02:02:42.000000000 +0100
@@ -28,7 +28,7 @@
- Last update Mon Feb 5 18:37:15 2007
+
Last update Thu Feb 15 02:02:41 2007
Last update Mon Feb 5 18:37:18 2007
+
Last update Thu Feb 15 02:02:45 2007
Last update Mon Feb 5 18:37:15 2007
+
Last update Thu Feb 15 02:02:41 2007
Last update Mon Feb 5 18:37:16 2007
+
Last update Thu Feb 15 02:02:42 2007
Last update Mon Feb 5 18:37:16 2007
+
Last update Thu Feb 15 02:02:42 2007
Last update Mon Feb 5 18:37:16 2007
+
Last update Thu Feb 15 02:02:42 2007
Last update Mon Feb 5 18:37:18 2007
+
Last update Thu Feb 15 02:02:44 2007
Last update Mon Feb 5 18:37:18 2007
+
Last update Thu Feb 15 02:02:44 2007
Last update Mon Feb 5 18:37:15 2007
+
Last update Thu Feb 15 02:02:41 2007
Last update Mon Feb 5 18:37:16 2007
+
Last update Thu Feb 15 02:02:42 2007
Last update Mon Feb 5 18:37:16 2007
+
Last update Thu Feb 15 02:02:43 2007
Last update Mon Feb 5 18:37:18 2007
+
Last update Thu Feb 15 02:02:44 2007
Last update Mon Feb 5 18:37:17 2007
+
Last update Thu Feb 15 02:02:43 2007
Last update Mon Feb 5 18:37:18 2007
+
Last update Thu Feb 15 02:02:44 2007
Last update Mon Feb 5 18:37:18 2007
+
Last update Thu Feb 15 02:02:44 2007
Last update Mon Feb 5 18:37:18 2007
+
Last update Thu Feb 15 02:02:44 2007
Last update Mon Feb 5 18:37:18 2007
+
Last update Thu Feb 15 02:02:45 2007
Last update Mon Feb 5 18:37:17 2007
+
Last update Thu Feb 15 02:02:43 2007
Last update Mon Feb 5 18:37:18 2007
+
Last update Thu Feb 15 02:02:45 2007
Last update Mon Feb 5 18:37:18 2007
+
Last update Thu Feb 15 02:02:45 2007
Last update Mon Feb 5 18:37:17 2007
+
Last update Thu Feb 15 02:02:43 2007
Last update Mon Feb 5 18:37:18 2007
+
Last update Thu Feb 15 02:02:45 2007
Last update Mon Feb 5 18:37:16 2007
+
Last update Thu Feb 15 02:02:42 2007
Last update Mon Feb 5 18:37:17 2007
+
Last update Thu Feb 15 02:02:43 2007
Last update Mon Feb 5 18:37:16 2007
+
Last update Thu Feb 15 02:02:42 2007
Last update Mon Feb 5 18:37:15 2007
+
Last update Thu Feb 15 02:02:41 2007
Last update Mon Feb 5 18:37:17 2007
+
Last update Thu Feb 15 02:02:43 2007
Last update Mon Feb 5 18:37:17 2007
+
Last update Thu Feb 15 02:02:43 2007
Last update Mon Feb 5 18:37:14 2007
+
Last update Thu Feb 15 02:02:40 2007
Last update Mon Feb 5 18:37:16 2007
+
Last update Thu Feb 15 02:02:42 2007
Last update Mon Feb 5 18:37:17 2007
+
Last update Thu Feb 15 02:02:43 2007
Last update Mon Feb 5 18:37:17 2007
+
Last update Thu Feb 15 02:02:43 2007
Last update Mon Feb 5 18:37:17 2007
+
Last update Thu Feb 15 02:02:43 2007
Last update Mon Feb 5 18:37:15 2007
+
Last update Thu Feb 15 02:02:40 2007
Last update Mon Feb 5 18:37:17 2007
+
Last update Thu Feb 15 02:02:43 2007
Last update Mon Feb 5 18:37:14 2007
+
Last update Thu Feb 15 02:02:40 2007
Last update Mon Feb 5 18:37:17 2007
+
Last update Thu Feb 15 02:02:43 2007
Last update Mon Feb 5 18:37:16 2007
+
Last update Thu Feb 15 02:02:41 2007
Last update Mon Feb 5 18:37:17 2007
+
Last update Thu Feb 15 02:02:43 2007
Last update Mon Feb 5 18:37:17 2007
+
Last update Thu Feb 15 02:02:43 2007
Last update Mon Feb 5 18:37:17 2007
+
Last update Thu Feb 15 02:02:44 2007
Last update Mon Feb 5 18:37:18 2007
+
Last update Thu Feb 15 02:02:44 2007
Last update Mon Feb 5 18:37:18 2007
+
Last update Thu Feb 15 02:02:44 2007
Last update Mon Feb 5 18:37:18 2007
+
Last update Thu Feb 15 02:02:44 2007
Last update Mon Feb 5 18:37:15 2007
+
Last update Thu Feb 15 02:02:41 2007
Last update Mon Feb 5 18:37:15 2007
+
Last update Thu Feb 15 02:02:41 2007
Last update Mon Feb 5 18:37:18 2007
+
Last update Thu Feb 15 02:02:44 2007
Last update Mon Feb 5 18:37:18 2007
+
Last update Thu Feb 15 02:02:44 2007
Last update Mon Feb 5 18:37:18 2007
+
Last update Thu Feb 15 02:02:44 2007
Last update Mon Feb 5 18:37:18 2007
+
Last update Thu Feb 15 02:02:44 2007
Last update Mon Feb 5 18:37:18 2007
+
Last update Thu Feb 15 02:02:44 2007
Last update Mon Feb 5 18:37:18 2007
+
Last update Thu Feb 15 02:02:44 2007
Last update Mon Feb 5 18:37:18 2007
+
Last update Thu Feb 15 02:02:44 2007
Last update Mon Feb 5 18:37:18 2007
+
Last update Thu Feb 15 02:02:44 2007
Last update Mon Feb 5 18:37:16 2007
+
Last update Thu Feb 15 02:02:42 2007
Last update Mon Feb 5 18:37:16 2007
+
Last update Thu Feb 15 02:02:42 2007
Last update Sun Feb 4 12:10:29 2007
+
Last update Thu Feb 15 00:37:47 2007
No change |
+ | Compile time execution of functions |
+ Yes:
+int factorial(int i)
+{ if (i == 0)
+ return 1;
+ else
+ return i * factorial(i - 1);
+}
+static f = factorial(6);
+
+ |
+ No |
+ Named constant expressions with parameters:
+ Generalized Constant Expressions N1972 |
+
+
| Parameters |
D |
C++98 |
diff -uNr dmd-1.005/dmd/html/d/templates-revisited.html dmd-1.006/dmd/html/d/templates-revisited.html
--- dmd-1.005/dmd/html/d/templates-revisited.html 2007-02-04 12:10:30.000000000 +0100
+++ dmd-1.006/dmd/html/d/templates-revisited.html 2007-02-15 00:50:24.000000000 +0100
@@ -33,7 +33,7 @@
- Last update Sun Feb 4 12:10:28 2007
+
Last update Thu Feb 15 00:50:23 2007
template Foo(T, U)
{
-class Bar { ... }
+ class Bar { ... }
-T foo(T t, U u) { ... }
+ T foo(T t, U u) { ... }
-T abc;
+ T abc;
-typedef T* Footype;
@@ -582,7 +582,8 @@
}
-Through using the static if construct it can be done in just one template:
+
Through using the static if construct it can be done in just one
+template:
template factorial(int n)
@@ -603,6 +604,20 @@
such constructions.
+D can make this even simpler. Value generating templates such
+as the factorial one are possible, but it's easier to just write
+a function that can be computed at compile time:
+
+int factorial(int n)
+{
+ if (n == 1)
+ return 1;
+ else
+ return n * factorial(n - 1);
+}
+
+static int x = factorial(5);
SFINAE - Substitution Failure Is Not An Error
@@ -719,6 +734,23 @@
has written a template to compute π at compile time. [2]
+Again, we can just do this with a function that can be executed
+at compile time:
+
+real sqrt(real x)
+{
+ real root = x / 2;
+ for (int ntries = 0; ntries < 5; ntries++)
+ {
+ if (root * root - x == 0)
+ break;
+ root = (root + x / root) / 2;
+ }
+ return root;
+}
+static y = sqrt(10);
+
Template Metaprogramming With Strings
Even more interesting things can be done with strings. This example