autoPtr.H

Go to the documentation of this file.

/*---------------------------------------------------------------------------*\
  =========                 |
  \\      /  F ield         | OpenFOAM: The Open Source CFD Toolbox
   \\    /   O peration     |
    \\  /    A nd           | www.openfoam.com
     \\/     M anipulation  |
-------------------------------------------------------------------------------
    Copyright (C) 2011-2017 OpenFOAM Foundation
    Copyright (C) 2016-2019 OpenCFD Ltd.
-------------------------------------------------------------------------------
License
    This file is part of OpenFOAM.
 
    OpenFOAM is free software: you can redistribute it and/or modify it
    under the terms of the GNU General Public License as published by
    the Free Software Foundation, either version 3 of the License, or
    (at your option) any later version.
 
    OpenFOAM is distributed in the hope that it will be useful, but WITHOUT
    ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
    FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
    for more details.
 
    You should have received a copy of the GNU General Public License
    along with OpenFOAM.  If not, see <http://www.gnu.org/licenses/>.
 
Class
    Foam::autoPtr
 
Description
    Pointer management similar to std::unique_ptr, with some additional
    methods and type checking.
 
Note
    Parts of the interface now mirror std::unique_ptr, but since it pre-dates
    both C++11 and std::unique_ptr, it has some additional idiosyncrasies.
    The const-reference constructors and assignment operators
    actually use move semantics to allow their participation in
    default constructible, default assignable classes.
 
SourceFiles
    autoPtrI.H
 
\*---------------------------------------------------------------------------*/
 
#ifndef autoPtr_H
#define autoPtr_H
 
// Transitional features/misfeatures
#define Foam_autoPtr_copyConstruct
#define Foam_autoPtr_copyAssign
#define Foam_autoPtr_castOperator
 
#include <utility>
 
// * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * //
 
namespace Foam
{
 
/*---------------------------------------------------------------------------*\
                           Class autoPtr Declaration
\*---------------------------------------------------------------------------*/
 
template<class T>
class autoPtr
{
    //- Pointer to managed object
    T* ptr_;
 
 
public:
 
    // STL type definitions
 
        //- Type of object being managed
        typedef T element_type;
 
        //- Pointer to type of object being managed
        typedef T* pointer;
 
 
    // Factory Methods
 
        //- Construct autoPtr of T with forwarding arguments
        //  \param args list of arguments with which an instance of T
        //      will be constructed.
        //
        //  \note Similar to std::make_unique, but the overload for
        //      array types is not disabled.
        template<class... Args>
        inline static autoPtr<T> New(Args&&... args);
 
        //- Construct autoPtr from derived type with forwarding arguments
        //  \param args list of arguments with which an instance of U
        //      will be constructed.
        //
        //  \note Similar to New but for derived types.
        //  Future check for std::is_base_of ?
        template<class U, class... Args>
        inline static autoPtr<T> NewFrom(Args&&... args);
 
 
    // Constructors
 
        //- Construct with no managed object.
        inline constexpr autoPtr() noexcept;
 
        //- Construct with no managed object (literal nullptr).
        inline constexpr autoPtr(std::nullptr_t) noexcept;
 
        //- Construct, taking ownership of the pointer.
        inline explicit autoPtr(T* p) noexcept;
 
        //- Move construct, transferring ownership.
        inline autoPtr(autoPtr<T>&& ap) noexcept;
 
        //- Move construct, transferring ownership from derived type.
        //  U must be derivable from T
        //  \note Future check for std::is_base_of ?
        template<class U>
        inline explicit autoPtr(autoPtr<U>&& ap);
 
        //- A move construct disguised as a copy construct (transfers ownership)
        //  \remark This should ideally be deleted - pending cleanup of code
        //      currently relying on this behaviour.
        #ifdef Foam_autoPtr_copyConstruct
        autoPtr(const autoPtr<T>& ap) noexcept
        :
            ptr_(const_cast<autoPtr<T>&>(ap).release())
        {}
        #else
        autoPtr(const autoPtr<T>& ap) = delete;
        #endif
 
 
    //- Deletes the managed object if such is present
    inline ~autoPtr() noexcept;
 
 
    // Member Functions
 
    // Check
 
        //- True if the managed pointer is null
        inline bool empty() const noexcept;
 
        //- True if the managed pointer is non-null
        inline bool valid() const noexcept;
 
 
    // Access
 
        //- Return pointer to managed object without nullptr checking.
        //  Pointer remains under autoPtr management.
        inline T* get() noexcept;
 
        //- Return const pointer to managed object without nullptr checking.
        //  Pointer remains under autoPtr management.
        inline const T* get() const noexcept;
 
        //- Return reference to the managed object without nullptr checking.
        //  When get() == nullptr, additional guards may be required to avoid
        //  inadvertent access to a nullptr.
        inline T& ref();
 
 
    // Edit
 
        //- Return pointer to the managed object and release ownership.
        inline T* release() noexcept;
 
        //- Return pointer to the managed object and release ownership.
        //- Identical behaviour to release().
        //  \note Provided for method naming consistent with Foam::tmp
        inline T* ptr() noexcept;
 
        //- Delete managed object and set pointer to nullptr
        inline void clear() noexcept;
 
        //- Delete managed object and set to new given pointer
        inline void reset(T* p = nullptr) noexcept;
 
        //- Delete managed object and set to new given pointer
        //  \remark Same as move assign, but better for code documentation
        inline void reset(autoPtr<T>&& ap) noexcept;
 
        //- Swaps the managed object with other autoPtr.
        inline void swap(autoPtr<T>& other) noexcept;
 
 
    // Other
 
        //- Construct copy by invoking clone on underlying managed object
        //  A no-op if no pointer is managed
        //  \param args list of arguments for clone
        template<class... Args>
        inline autoPtr<T> clone(Args&&... args) const;
 
 
    // Member Operators
 
        //- Return reference to the managed object.
        //  FatalError if no pointer is managed
        inline T& operator*();
 
        //- Return const reference to the object.
        //  FatalError if no pointer is managed
        inline const T& operator*() const;
 
        //- Dereferences (non-const) pointer to the managed object
        //  FatalError if no pointer is managed
        inline T* operator->();
 
        //- Dereferences (const) pointer to the managed object
        //  FatalError if no pointer is managed
        inline const T* operator->() const;
 
        //- Return reference to the object data.
        //  FatalError if no pointer is managed
        inline T& operator()();
 
        //- Return const reference to the object data
        //  FatalError if no pointer is managed
        inline const T& operator()() const;
 
        //- Deprecated(2019-01) Automatic cast conversion to underlying type
        //  FatalError if no pointer is managed
        //  \deprecated(2019-01) Can result in inadvertent conversions
        //      where the user should really know or check if the pointer
        //      is valid prior to using.
        #ifdef Foam_autoPtr_castOperator
        operator const T&() const { return operator*(); }
        #else
        operator const T&() const = delete;
        #endif
 
        //- Cast to pointer type
        operator const T*() const noexcept { return get(); }
 
        //- Cast to pointer type
        operator T*() noexcept { return get(); }
 
        //- True if the managed pointer is non-null - same as valid()
        explicit inline operator bool() const noexcept;
 
        //- Transfer object ownership from parameter
        inline void operator=(autoPtr<T>&& ap) noexcept;
 
        //- Transfer object ownership from parameter
        template<class U>
        inline void operator=(autoPtr<U>&& ap) noexcept;
 
        #ifdef Foam_autoPtr_copyAssign
        //- A move assignment disguised as a copy assignment
        //  \remark Non-standard definition - should just be movable
        void operator=(const autoPtr<T>& ap) noexcept
        {
            operator=(std::move(const_cast<autoPtr<T>&>(ap)));
        }
        #else
        void operator=(const autoPtr<T>& ap) = delete;
        #endif
 
        //- Clear via assignment from literal nullptr
        inline void operator=(std::nullptr_t) noexcept;
 
 
    // Housekeeping
 
        //- Deprecated(2018-02) Identical to reset().
        //  \note Provided for backward compatibility - the older version
        //      enforced a run-time check (Fatal if pointer was already set)
        //      but this was rarely used.
        //  \deprecated(2018-02) Identical to reset().
        void set(T* p) noexcept { reset(p); }
 
        //- Deprecated(2018-02) No copy assignment from plain pointer
        //  \deprecated(2018-02) Convenient, but uncontrolled access
        void operator=(T* p) = delete;
};
 
 
// Global Functions
 
//- Specializes the Swap algorithm for autoPtr.
//  Swaps the pointers of lhs and rhs. Calls \c lhs.swap(rhs)
template<class T>
void Swap(autoPtr<T>& lhs, autoPtr<T>& rhs)
{
    lhs.swap(rhs);
}
 
 
// * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * //
 
} // End namespace Foam
 
// * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * //
 
#include "autoPtrI.H"
 
// * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * //
 
#endif
 
// ************************************************************************* //