为什么这个仿函数的operator()需要尾随的const修饰符?

时间:2013-04-04 18:41:37

标签: templates objective-c-blocks objective-c++ functor vmat

我在缺席多年后回到C ++(或者说,技术上,Objective-C ++),所以请耐心等待。我正在尝试使用模板来实现一个解决方案,否则需要大量的剪切和粘贴代码。下面的摘录显示了努力的基本要点:

namespace {

    using vMAT::DOUBLE;
    using vMAT::SINGLE;
    using vMAT::INT8;
    using vMAT::UINT8;
    using vMAT::INT16;
    using vMAT::UINT16;
    using vMAT::INT32;
    using vMAT::UINT32;
    using vMAT::INT64;
    using vMAT::UINT64;

    typedef void (* swapFn)(void * vector, vDSP_Length vectorLength);

    // Functor used for template arguments.
    template <typename TypeA>
    struct swapbytes {
        swapFn fn;

        swapbytes()
        {
            if      (sizeof(TypeA) == 8) fn = vMAT_byteswap64;
            else if (sizeof(TypeA) == 4) fn = vMAT_byteswap32;
            else if (sizeof(TypeA) == 2) fn = vMAT_byteswap16;
            else if (sizeof(TypeA) == 1) fn = NULL;
            else NSCAssert(NO, @"Oops!");
        }

        void operator()(void * vector, vDSP_Length vectorLength) const
        // ..................................................... ^^^^^ Why?
        {
            if (fn != NULL) fn(vector, vectorLength);
        }
    };

    template <typename TypeA, typename ClassB>
    void
    loadFromOperation(vMAT_MATv5NumericArray * self,
                      vMAT_MATv5ReadOperation * operation,
                      TypeA a,
                      ClassB b)
    {
        swapbytes<TypeA> SwapA;
        long lenC = self.size[0] * sizeof(TypeA);
        TypeA * C = (TypeA *)malloc(lenC);
        long lenD = vMAT_Size_prod(self.size) * sizeof(ClassB);
        self.arrayData = [NSMutableData dataWithCapacity:lenD];
        self.arrayData.length = lenD;
        ClassB * D = (ClassB *)[self.arrayData mutableBytes];
        __block long idxD = 0;
        vMAT_Size123Iterator(self.size, ^(int32_t n, int32_t o, int32_t p) {
            [operation readComplete:C
                             length:lenC];
            if (operation.swapBytes) { SwapA((void *)C, lenC / sizeof(TypeA)); }
            for (int m = 0;
                 m < self.size[0];
                 m++) {
                D[idxD] = C[m];
                ++idxD;
            }
        });
        free(C);
    }

}

- (void)_load_miUINT8_mxDOUBLE_fromOperation:(vMAT_MATv5ReadOperation *)operation;
{
    loadFromOperation(self, operation, UINT8, DOUBLE);
}

我的问题,正如我希望通过以“为什么?”结尾的评论显而易见的,为什么这里需要const声明?如果它被省略,编译器会抱怨没有方法签名与SwapA(...)正文中loadFromOperation的呼叫站点匹配。

如果SwapA被明确声明为const,我会理解这一点,但事实并非如此。显然它可以,因为它的操作并不依赖于改变任何状态,但这不是重点。

虽然我对这段代码有另一双帮助,但我会欢迎任何更熟练的C ++从业者可能提供的风格或其他批评......

1 个答案:

答案 0 :(得分:3)

块创建的非__block变量在创建块时按值复制到块中,并且在块内const。即,在块内,SwapA的类型为const swapbytes<TypeA>