了解 C++模板错误

Question

#include <iostream>
#include <cstring>
#include <string>

template <typename T>
inline T const& max (T const& a, T const& b)
{
    return  a < b  ?  b : a;
}

inline char const* max (char const* a, char const* b)
{ 
    return  std::strcmp(a,b) < 0  ?  b : a;
}

template <typename T>
inline T const& max (T const& a, T const& b, T const& c)
{
    return max (max(a,b), c);  // error
}

int main ()
{
    ::max(7, 42, 68);     // OK

    const char* s1 = "frederic";
    const char* s2 = "anica";
    const char* s3 = "lucas";
    ::max(s1, s2, s3);    // ERROR

}

有人可以告诉我为什么这是一个错误吗？

Answer 1

当您说：

 max (max(a,b), c)

max(char*,char*) 返回一个 BY VALUE 指针。然后，您返回对此值的引用。为了实现这项工作，您应该使所有 max() 函数返回值而不是引用，正如我认为在对您上一个问题的回答中所建议的那样，或者使 char* 重载接受并返回对指针的引用。

Answer 2

您正在返回对临时对象的引用。 max 的 char* 重载按值返回，但 3-arg 模板按引用返回。

我不知道你为什么会收到错误。我只在我的编译器（GCC）上收到警告。我想如果你发布了错误文本，有人可以弄清楚。

Answer 3

如果您确实想返回引用，那么您必须修改第二个重载以也返回引用。

char const* const & max (char const* const & a, char const* const & b)

Answer 4

您的示例与此等效，也许您会这样看得更好：

int foo()
{
    return 0;
}

int const & bar()
{
    return foo(); // Reference to what???
}

Answer 5

编译时，我得到：

maxtest.cpp: In function `const T& max(const T&, const T&, const T&) [with T = const char*]':
maxtest.cpp:29:   instantiated from here
maxtest.cpp:19: warning: returning reference to temporary

那是因为您返回了对临时对象的引用（即，当函数的调用者可以检查其值时，您的对象不再存在）。这肯定是一个错误，但是，既然你说错误，我怀疑这不是你想要的错误。

Visual Studio 中的一些标头 #define min 和 max。为了解决这个问题，请在最小值和最大值两边加上括号：

return (max) ( (max) (a, b), c );

Answer 6

gcc 4.2.1 给出了有关返回临时引用的警告，因此，将代码更改为按值返回会有所帮助。

顺便说一句：我还将 max 重命名为 my_max，因为 max 已在 中定义

#include <iostream>
#include <cstring>
#include <string>

template <typename T>
inline T const my_max (T const& a, T const& b)
{
    return  a < b  ?  b : a;
}

inline char const* my_max (char const* a, char const* b)
{
    return  std::strcmp(a,b) < 0  ?  b : a;
}

template <typename T>
inline T const my_max (T const& a, T const& b, T const& c)
{
    return my_max (my_max(a,b), c);  // error
}

int main ()
{
    std::cout << my_max(7, 42, 68) << "\n"; // OK

    const char* s1 = "frederic";
    const char* s2 = "anica";
    const char* s3 = "lucas";
    std::cout << my_max(s1, s2, s3) << "\n"; // NO ERROR

}

gcc -Wall -Wextra file.cpp -o test 没有给出警告或错误，输出为：

68
卢卡斯