V2EX = way to explore
V2EX 是一个关于分享和探索的地方
现在注册
已注册用户请  登录
crayontxx
V2EX  ›  C

求教一个模板类型推导的问题

  •  
  •   crayontxx · 2019-01-31 08:32:20 +08:00 · 2224 次点击
    这是一个创建于 2156 天前的主题,其中的信息可能已经有所发展或是发生改变。
    #include <stdio.h>
    #include <type_traits>
    
    enum class E : int
    {
        A
    };
    
    template<typename T>
    void Test(T&& t)
    {
        if (std::is_enum<T>::value)
            printf("YES\n");
        else
            printf("NO\n");
    }
    
    template<typename T>
    void Test2(T&& t)
    {
        Test(t);
    }
    
    int main() {
        Test(E::A);
        Test2(E::A);
        return 0;
    }
    

    为什么输出结果是:

    YES
    NO
    

    环境 g++ 7.3.0

    AngelCriss
        1
    AngelCriss  
       2019-01-31 08:50:19 +08:00 via Android
    第二个应该 decay 成 int 了
    a41050447
        2
    a41050447  
       2019-01-31 09:17:12 +08:00 via iPhone
    test2 传给 test 的是引用,
    std::is_reference<T>
    加个 std::move
    lniwn
        3
    lniwn  
       2019-01-31 09:20:11 +08:00 via iPhone
    这就是 forward 存在的意义
    crayontxx
        4
    crayontxx  
    OP
       2019-01-31 09:56:15 +08:00
    感谢各位。
    aqtata
        5
    aqtata  
       2019-01-31 09:56:55 +08:00
    退 c++保平安。

    template<typename T>
    void Test2(T&& t)
    {
    Test(std::forward<T>(t));
    }
    wutiantong
        6
    wutiantong  
       2019-01-31 14:03:59 +08:00
    把 Test 的参数改成 const T &可能更符合你的代码意图
    关于   ·   帮助文档   ·   博客   ·   API   ·   FAQ   ·   实用小工具   ·   2957 人在线   最高记录 6679   ·     Select Language
    创意工作者们的社区
    World is powered by solitude
    VERSION: 3.9.8.5 · 24ms · UTC 13:57 · PVG 21:57 · LAX 05:57 · JFK 08:57
    Developed with CodeLauncher
    ♥ Do have faith in what you're doing.