The C'est project aims to provide a non-standard version of the C++
standard library with enhanced support for compile time evaluation
(constexpr
) for use in research.
GCC and Clang declare support for all 7 C++20 proposals which are part of "Relaxations of constexpr restrictions": P1064 P1002 P1327 P1330 P1331 P1668 P0784. Of these, the last, P0784 (More constexpr containers) includes discussion on "constexpr new-expressions". Clang's support includes crucial facilities missing in GCC: for example, equality comparison of pointers at compile-time. Consequently, C'est requires a recent release of the Clang compiler.
The C'est library is not standalone, and requires a C++20 standard library;
such as GCC's libstdc++ (version 10 upwards). C'est also includes code from
libstdc++; as seen in basic_ios.hpp
, ios_base.hpp
, istream.hpp
,
ostream.hpp
, sstream.hpp
, streambuf.hpp
and elsewhere.
Header files in C'est are named after those in the standard library; where
you would normally have #include <vector>
, you should use #include "cest/vector.hpp"
. Classes and objects of the C'est library reside within
the cest
namespace; and consequently where you would have had std::deque
,
you should use cest::deque
instead when using C'est.
In time, it is likely that the C++ standard library will continue to include
more and more constexpr
support. Most containers will naturally accommodate
this direction. IO and file access will raise more questions. For now,
C'est does allow some IO commands to compile within constant expressions
(e.g. cest::cout << "Hello World\n"
). This is primarily to support the
compile-time evaluation of existing code bases.
The C'est library has incomplete support for the following class templates: vector
, string
, forward_list
, list
, set
, map
, queue
, deque
, unique_ptr
, shared_ptr
and function
. Given a constexpr
container, most function templates from algorithm
and numeric
can now also be used within a constant expression.
The code below provides a basic demonstration of some functionality. Executing the resulting program will output Hello World 5
:
#include "cest/iostream.hpp"
#include "cest/string.hpp"
#include "cest/vector.hpp"
#include "cest/deque.hpp"
#include "cest/set.hpp"
#include "cest/algorithm.hpp"
#include "cest/numeric.hpp"
#include "cest/functional.hpp"
// clang++ -std=c++2a -I include example.cpp
constexpr bool doit()
{
using namespace cest;
string str = "Hello";
vector<int> v{1,2,3};
deque<int> dq{2,3,4};
set<int> s;
set_intersection(dq.begin(), dq.end(), v.begin(), v.end(), inserter(s, s.end()));
function<int()> f = [&]() { return accumulate(s.begin(), s.end(), 0); };
auto x = f();
cout << str << " World " << x << endl;
return 5==x;
}
int main(int argc, char *argv[])
{
static_assert(doit());
return doit() ? 0 : 1;
}
The code above comes from the example.cpp
file; found in the same
directory as this readme. The command required to build the code above is:
clang++ -std=c++2a -I include example.cpp
Compile-time and runtime tests are included within the tests
directory. To
build and run the tests use the following commands. For the runtime component,
expected console output is listed in cest_tests.cpp
.
cd tests
mkdir build
cd build
cmake -DCMAKE_CXX_COMPILER=clang++ -DCMAKE_BUILD_TYPE=Debug ..
make
./cest_tests