ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsdeferred_resnenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprno_listpersistent-indexerpthread-emulationqualifiedEnum
Last change
on this file since 48b7085e was
48b7085e,
checked in by Aaron Moss <a3moss@…>, 6 years ago
|
Start into generic types design in thesis
|
-
Property mode set to
100644
|
File size:
661 bytes
|
Rev | Line | |
---|
[48b7085e] | 1 | #include <stdlib.h> |
---|
| 2 | #include <stdio.h> |
---|
| 3 | |
---|
| 4 | forall(otype T) struct list { T value; list(T)* next; }; |
---|
| 5 | |
---|
| 6 | // single polymorphic implementation of each function |
---|
| 7 | // overloading reduces need for namespace prefixes |
---|
| 8 | |
---|
| 9 | forall(otype T) void insert( list(T)** ls, T x ) { |
---|
| 10 | list(T)* node = alloc(); // type-inferring alloc |
---|
| 11 | (*node){ x, *ls }; // concise constructor syntax |
---|
| 12 | *ls = node; |
---|
| 13 | } |
---|
| 14 | |
---|
| 15 | forall(otype T) T head( const list(T)* ls ) { return ls->value; } |
---|
| 16 | |
---|
| 17 | // use is clear and efficient |
---|
| 18 | |
---|
| 19 | int main() { |
---|
| 20 | list(int)* il = 0; |
---|
| 21 | insert( &il, 42 ); // inferred polymorphic T |
---|
| 22 | printf("%d\n", head(il)); |
---|
| 23 | |
---|
| 24 | list(const char*)* sl = 0; |
---|
| 25 | insert( &sl, "hello" ); |
---|
| 26 | printf("%s\n", head(sl)); |
---|
| 27 | } |
---|
Note: See
TracBrowser
for help on using the repository browser.