Question

typedef int INT5[5] ;
    template<INT5 i5>
    void fun()
    {
        for (auto i : i5)
        {
            cout << i << endl;
        }
    }

    void test()
    {
        int i5[5] = { 2,3,1,2,4 };
        fun<i5>();//error
    }

我想将数组作为模板参数传递，但失败了。

错误C2672：＆＃39; __ ExplicitVarTypeTest :: fun＆＃39;：没有匹配重载   发现功能

错误C2971：＆＃39; __ ExplicitVarTypeTest :: fun＆＃39;：模板参数＆＃39; i5＆＃39;：   ＆＃39; i5＆＃39;：具有非静态存储持续时间的变量不能用作a   非类型参数

有人给我一个解决方案，将变量作为一个有趣的参数传递而不是模板的参数。但在我的情况下，我无法改变这个功能的论点。因为它是一个回调函数。

实际上，我需要这样做

typedef char MyCharMap[UINT8_MAX];
    template<MyCharMap keymap>
    LRESULT CALLBACK LowLevelKeyboardProc(int nCode, WPARAM wParam, LPARAM lParam)
    {
        //MSDN说了，nCode<0（HC_ACTION）的都用CallNextHookEx返回
        if (nCode >= HC_ACTION)
        {
            KBDLLHOOKSTRUCT* pStruct = (KBDLLHOOKSTRUCT*)lParam;
            if (keyMap[pStruct->vkCode])
            {
                switch (wParam)
                {
                case WM_KEYDOWN:
                    keybd_event(keyMap[pStruct->vkCode], 0, 0, 0);
                    break;
                case WM_KEYUP:
                    keybd_event(keyMap[pStruct->vkCode], 0, KEYEVENTF_KEYUP, 0);
                    break;
                default:
                    throw "other key event";
                }
            }
            return TRUE;
        }
        //传给系统中的下一个钩子   
        return CallNextHookEx(keyHook, nCode, wParam, lParam);
    }

SetWindowsHookEx(WH_KEYBOARD_LL, LowLevelKeyboardProc<keymap1>, theApp.m_hInstance, NULL);
SetWindowsHookEx(WH_KEYBOARD_LL, LowLevelKeyboardProc<keymap2>, theApp.m_hInstance, NULL);

Answer 1

声明模板具有类型为int[5]的模板参数实际上会使其具有类型为int*的模板参数。这类似于函数签名中发生的衰减。要解决此问题，只需声明fun以引用其数组模板参数：

template<const INT5& i5> void fun();

您希望将数组{2,3,1,2,4}作为模板参数传递给fun。这是可行的，但它必须遵守[expr.const] / 5（C ++ 17）中对glvalue常量表达式的限制;它必须引用具有静态存储持续时间的对象。因此，您应该i5静态：

static constexpr int i5[5] = { 2,3,1,2,4 };
fun<i5>();  // this should work

传递一个数组（变量）作为模板参数

1 个答案: