C++20 概念测试在 MSVS 16.5 中不起作用

我是 C++20 概念的新手，但从我见过的例子来看，这段代码应该可以工作......

#include <iostream>
#include <string>
#include <concepts>
#include <memory>

using namespace std;

struct hasToString
{
    string toString()
    {
        return __FUNCTION__;
    }
};

struct noToString
{
};

template<typename T>
concept has_toString = requires(const T & t)
{
    t.toString();
};

template<typename T>
string optionalToString(const T &obj)
{
    if constexpr (has_toString<T>)
        return obj.toString();
    else
        return "toString not defined";
}

int main()
{
    hasToString has;
    unique_ptr<noToString> hasnt = make_unique<noToString>();

    cout << optionalToString(has) << '\n';
    cout << optionalToString(hasnt) << '\n';
}

预期输出:

但我得到:

在这样一个简单的例子中我做错了什么？我将 std:c++latest 选为 C++ 语言标准。

最佳答案

concept has_toString = requires(const T & t)
{
    t.toString();
};

由于 t 是一个 const 对象，所以它的 toString() 方法必须是一个 const 方法。这与概念没有直接关系，而是与甚至在 C++11 之前 C++ 类方法的工作方式有关。

struct hasToString
{
    string toString()
    {

而且，当然，这个 toString() 不是 const 类方法。而是将其定义为 string toString() const 。

关于C++20 概念测试在 MSVS 16.5 中不起作用，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/61945773/