以下是一些标题选项，每个标题都强调文章的不同方面： 选项 1：重点关注概念和 C 11 功能： * C 11 中的 ScopeGuard：简单的错误处理，但有哪些注意事项

最简单、最简洁的 C 11 ScopeGuard

在 C 11 中，有一个简单的习惯用法可以实现 ScopeGuard，从而简化错误和资源处理。下面是一个简单的解释和实现：

概念：

ScopeGuard 是一个 C 类，它提供了一种定义代码块的方法，当创建守卫的范围退出。这样可以轻松进行清理和错误处理，确保即使在特殊情况下也能释放资源或采取操作。

实现：

<code class="cpp">namespace RAII
{
    template
    class ScopeGuard
    {
        mutable bool committed;
        Lambda rollbackLambda; 
        public:

            ScopeGuard( const Lambda& _l) : committed(false) , rollbackLambda(_l) {}

            template
            ScopeGuard( const AdquireLambda& _al , const Lambda& _l) : committed(false) , rollbackLambda(_l)
            {
                _al();
            }

            ~ScopeGuard()
            {
                if (!committed)
                    rollbackLambda();
            }
            inline void commit() const { committed = true; }
    };

    template
    const ScopeGuard& makeScopeGuard( const aLambda& _a , const rLambda& _r)
    {
        return ScopeGuard( _a , _r );
    }

    template<typename rlambda>
    const ScopeGuard& makeScopeGuard(const rLambda& _r)
    {
        return ScopeGuard(_r );
    }
}</typename></code>

使用:

<code class="cpp">void SomeFuncThatShouldBehaveAtomicallyInCaseOfExceptions() 
{
   std::vector<int> myVec;
   std::vector<int> someOtherVec;

   myVec.push_back(5);
   //first constructor, adquire happens elsewhere
   const auto& a = RAII::makeScopeGuard( [&]() { myVec.pop_back(); } );  

   //sintactically neater, since everything happens in a single line
   const auto& b = RAII::makeScopeGuard( [&]() { someOtherVec.push_back(42); }
                     , [&]() { someOtherVec.pop_back(); } ); 

   b.commit();
   a.commit();
}</int></int></code>

在此示例中，ScopeGuard 习惯用法用于确保即使在函数范围内引发异常，也会执行清理操作（从向量中弹出元素）。

简单性和局限性：

ScopeGuard 习惯用法的这种实现相对简单和简洁，使其易于使用和理解。然而，原问题的作者也对潜在的缺陷或缺失的专业提出了担忧。让我们解决这些问题：

• 完美转发： 该实现并未充分利用 C 11 完美转发技术。这在 makeScopeGuard 函数中很明显，该函数使用左值引用而不是 lambda 参数的通用引用。使用通用引用将提供更大的灵活性并支持右值 lambda。
• 如果获取抛出异常则回滚： 原始实现不处理“获取”lambda 抛出异常的情况。如果获取 lambda 失败，则永远不会调用回滚 lambda，从而使代码处于不一致的状态。

为了解决这些问题，以下是 ScopeGuard 实现和用法的更新版本：

<code class="cpp">namespace RAII
{
    template
    class ScopeGuard
    {
        bool committed;
        Lambda rollbackLambda; 
        public:

            ScopeGuard( const Lambda& _l) : committed(false) , rollbackLambda(_l) {}

            ScopeGuard( const ScopeGuard& _sc) : committed(false) , rollbackLambda(_sc.rollbackLambda) 
            {
                if (_sc.committed)
                   committed = true;
                else
                   _sc.commit();
            }

            ScopeGuard( ScopeGuard&& _sc) : committed(false) , rollbackLambda(_sc.rollbackLambda)
            {
                if (_sc.committed)
                   committed = true;
                else
                   _sc.commit();
            }

            //WARNING: only safe if adquire lambda does not throw, otherwise release lambda is never invoked, because the scope guard never finished initialistion..
            template
            ScopeGuard( const AdquireLambda& _al , const Lambda& _l) : committed(false) , rollbackLambda(_l)
            {
               std::forward<adquirelambda>(_al)();
            }

            //WARNING: only safe if adquire lambda does not throw, otherwise release lambda is never invoked, because the scope guard never finished initialistion..
            template
            ScopeGuard( AdquireLambda&& _al , L&& _l) : committed(false) , rollbackLambda(std::forward<l>(_l))
            {
                std::forward<adquirelambda>(_al)(); // just in case the functor has &&-qualified operator()
            }


            ~ScopeGuard()
            {
                if (!committed)
                    rollbackLambda();
            }
            inline void commit() { committed = true; }
    };


    //WARNING: only safe if adquire lambda does not throw, otherwise release lambda is never invoked, because the scope guard never finished initialistion..
    template
    ScopeGuard // return by value is the preferred C++11 way.
    makeScopeGuardThatDoesNOTRollbackIfAdquireThrows( aLambda&& _a , rLambda&& _r) // again perfect forwarding
    {
        return ScopeGuard( std::forward<alambda>(_a) , std::forward<rlambda>(_r )); // *** no longer UB, because we're returning by value
    }

    template
    ScopeGuard // return by value is the preferred C++11 way.
    makeScopeGuardThatDoesRollbackIfAdquireThrows( aLambda&& _a , rLambda&& _r) // again perfect forwarding
    {
        auto scope = ScopeGuard(std::forward<rlambda>(_r )); // *** no longer UB, because we're returning by value
        _a();
        return scope;
    }

    template<typename rlambda>
    ScopeGuard makeScopeGuard(rLambda&& _r)
    {
        return ScopeGuard( std::forward<rlambda>(_r ));
    }

    namespace basic_usage
    {
        struct Test
        {

            std::vector<int> myVec;
            std::vector<int> someOtherVec;
            bool shouldThrow;
            void run()
            {
                shouldThrow = true;
                try
                {
                    SomeFuncThatShouldBehaveAtomicallyInCaseOfExceptionsUsingScopeGuardsThatDoesNOTRollbackIfAdquireThrows();
                } catch (...)
                {
                    AssertMsg( myVec.size() == 0 && someOtherVec.size() == 0 , "rollback did not work");
                }
                shouldThrow = false;
                SomeFuncThatShouldBehaveAtomicallyInCaseOfExceptionsUsingScopeGuardsThatDoesNOTRollbackIfAdquireThrows();
                AssertMsg( myVec.size() == 1 && someOtherVec.size() == 1 , "unexpected end state");
                shouldThrow = true;
                myVec.clear(); someOtherVec.clear();  
                try
                {
                    SomeFuncThatShouldBehaveAtomicallyInCaseOfExceptionsUsingScopeGuardsThatDoesRollbackIfAdquireThrows();
                } catch (...)
                {
                    AssertMsg( myVec.size() == 0 && someOtherVec.size() == 0 , "rollback did not work");
                }
            }

            void SomeFuncThatShouldBehaveAtomicallyInCaseOfExceptionsUsingScopeGuardsThatDoesNOTRollbackIfAdquireThrows() //throw()
            {

                myVec.push_back(42);</int></int></rlambda></typename></rlambda></rlambda></alambda></adquirelambda></l></adquirelambda></code>

以上是以下是一些标题选项，每个标题都强调文章的不同方面： 选项 1：重点关注概念和 C 11 功能： * C 11 中的 ScopeGuard：简单的错误处理，但有哪些注意事项的详细内容。更多信息请关注PHP中文网其他相关文章！