CHERI::IsSmartPointerLike Concept Reference

Concept that matches smart pointers, i.e., classes which implements a get method returning a pointer, and supports operator= with the return value of get. More...

#include <cheri.hh>

Concept definition

template<typename T>
concept IsSmartPointerLike = requires(T b) {
        { b.get() } -> IsPointer;
    } && requires(T b) { b = b.get(); }

Detailed Description

Concept that matches smart pointers, i.e., classes which implements a get method returning a pointer, and supports operator= with the return value of get.

This will match Capability, standard library smart pointers, etc.

Definition at line 1278 of file cheri.hh.