c++模板的问题解析-问题2

最新推荐文章于 2021-01-15 10:12:50 发布

视言

最新推荐文章于 2021-01-15 10:12:50 发布

阅读量1.4k

点赞数 1

CC 4.0 BY-SA版权

分类专栏： c++ 文章标签： c语言 c++模板

本文链接：https://blog.youkuaiyun.com/chaojichaoachao/article/details/52294676

c++ 专栏收录该内容

11 篇文章

订阅专栏

本文探讨了C++中由于Most Vexing Parse特性导致的编译错误问题，特别是当使用构造函数初始化时可能出现的解析歧义，并提供了解决方案。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

问题起源

class Timer {
public:
    Timer(){}
};

class TimeKeeper {
public:
    TimeKeeper(const Timer& t){}
    TimeKeeper(){}
    std::string time;
    std::string get_time(){ return time; }
    friend std::istream& operator>> (std::istream& is, TimeKeeper& sr);
};
std::istream& operator>>(std::istream& is, TimeKeeper& sr){
    is >> sr.time;
    getline(is, sr.time);
    return is;
}
int main() {
    TimeKeeper time_keeper(Timer()); //no.1
    TimeKeeper time_keeper_();//no.2
    std::string t;
    std::istringstream sin(t);
    sin >> time_keeper;//no.3
    time_keeper.get_time();//no.4
    return 0;
}

上述代码编译是不会通过的，编号no3、4处代码会报错，例如gcc4.8在no.3处报错— error: ambiguous overload for ‘operator>>’ (operand types are ‘std::istringstream {aka std::basic_istringstream}’ and ‘TimeKeeper(Timer (*)())’).

解答
这是c++标准的一个特性，称为Most vexing parse。
无论是no.1还是no.2都可以被解析为一个变量或者一个函数声明。
g++编译器会认为no.3是模棱两可的，因为如果是一个变量则调用自定义的>>重载，如果是一个函数声明，c++也提供了模板重载函数来接收anything为右值参数：

template<typename CharT, typename TraitsT, typename T>
basic_istream<CharT, TraitsT>&
operator>>(basic_istream<CharT, TraitsT>&& istr, T&&);

而有些编译器会默认这是函数声明，而该函数类型不能绑定为右值参数，于是就会出现如下错误：error: cannot bind ‘std::basic_istream’ lvalue to ‘std::basic_istream&&’。
因此，为了避免歧义，根据实际目的no.1和no.2应做相应修改：

no.1 -> TimeKeeper time_keeper((Timer()))
no.2 -> TimeKeeper time_keeper_ or TimeKeeper time_keeper_{} or TimeKeeper time_keeper_=TimeKeeper()