Implementing Rust-like traits for C++ 20 (with no runtime overhead)

3 points by jmax01 ↗ HN
Example Code:

struct Shape {

    void draw();

    int area(int x, int y);  
};

make_trait(Shape, draw, area);

int main() {

    auto circle = Circle();
    auto square = Square();

    // NOTE: all of this is strictly checked, so if you are creating
    // a trait out of a Object, the object MUST implement all the trait functions


    auto t0 = trait<Shape>::make(&circle);
    t0.draw();

    auto t1 = trait<Shape>::make(&square);
    t1.draw();

    // Another thing to be kept in mind is trait<T> is just like a View
    // It DOES NOT OWN anything, so you are the one making sure the data
    // pointer is valid
  
    auto array = std::array{t1, t0};
    for (auto& shape : array) {
        std::cout << shape.area(2, 3) << std::endl;
    }    
}

Repository: github.com/Jaysmito101/rusty.hpp?tab=readme-ov-file#traits-in-c

1 comment

[ 3.1 ms ] story [ 3.9 ms ] thread
How to inherit or extends a trait with another trait ?