zoukankan      html  css  js  c++  java
  • plain old C++ functions, base模板函数与特化的模板函数

    非常好的一篇文章http://www.gotw.ca/publications/mill17.htm

    template <typename T>
    void call_who(T) {
        std::cout << "base templates T called" << std::endl;
    };
    
    template <typename T>
    void call_who(T*) {
        std::cout << "base templates T* called" << std::endl;
    }
    
    template <>
    void call_who(int*) {
        std::cout << "specialized int* called" << std::endl;
    };
    
    int main() {
        int a = 0;
        call_who(&a);
            return 0;
    }

    一看就知道调用的是void call_who(int*)。可是,

    template <typename T>
    void call_who(T) {
        std::cout << "base templates T called" << std::endl;
    };
    
    template <>
    void call_who(int*) {
        std::cout << "specialized int* called" << std::endl;
    };
    
    template <typename T>
    void call_who(T*) {
        std::cout << "base templates T* called" << std::endl;
    }
    
    int main() {
    
        int a = 0;
        call_who(&a);
            return 0;
    }

    竟然调用的是: void call_who(T*)。!!!!

    原因是文章中提到的:

    Finally, let's focus on function templates only and consider the overloading rules to see which ones get called in different situations. The rules are pretty simple, at least at a high level, and can be expressed as a classic two-class system:

    Nontemplate functions are first-class citizens. A plain old nontemplate function that matches the parameter types as well as any function template will be selected over an otherwise-just-as-good function template.

    If there are no first-class citizens to choose from that are at least as good, then function base templates as the second-class citizens get consulted next. Which function base template gets selected depends on which matches best and is the "most specialized" (important note: this use of "specialized" oddly enough has nothing to do with template specializations; it's just an unfortunate colloquialism) according to a set of fairly arcane rules:

    If it's clear that there's one "most specialized" function base template, that one gets used. If that base template happens to be specialized for the types being used, the specialization will get used, otherwise the base template instantiated with the correct types will be used.

    Else if there's a tie for the "most specialized" function base template, the call is ambiguous because the compiler can't decide which is a better match. The programmer will have to do something to qualify the call and say which one is wanted.

    Else if there's no function base template that can be made to match, the call is bad and the programmer will have to fix the code.

  • 相关阅读:
    Zookeeper实战
    Zookeeper的结构和命令
    Zookeeper中的选举机制
    du 命令,对文件和目录磁盘使用的空间的查看
    rm命令
    linux之cp/scp命令+scp命令详解
    android 为应用程序创建桌面快捷方式技巧分享
    对自己的文件使用keystore签名
    Android 打包签名 从生成keystore到完成签名 -- 转
    Android App启动错误的问题(connection to the server was unsuccessful)
  • 原文地址:https://www.cnblogs.com/redips-l/p/11643821.html
Copyright © 2011-2022 走看看