代码之家 › 专栏 › 技术社区 › Guillaume Racicot

模板转换运算符的分辨率不明确

conversion-operator language-lawyer templates c++

Guillaume Racicot · 技术社区 · 7 年前

我不得不做一个类似的代码:

#include <type_traits>

template<typename S>
struct probe {
    template<typename T, typename U = S, std::enable_if_t<
        std::is_same<T&, U>::value &&
        !std::is_const<T>::value, int> = 0>
    operator T& () const;

    template<typename T, typename U = S&&, std::enable_if_t<
        std::is_same<T&&, U>::value &&
        !std::is_const<T>::value, int> = 0>
    operator T&& ();

    template<typename T, typename U = S, std::enable_if_t<
        std::is_same<T const&, U>::value, int> = 0>
    operator T const& () const;

    template<typename T, typename U = S&&, std::enable_if_t<
        std::is_same<T const&&, U>::value, int> = 0>
    operator T const&& () const;
};

struct some_type {};
struct other_type {};

auto test_call(some_type const&, other_type) -> std::false_type;
auto test_call(some_type&, other_type) -> std::true_type;

int main() {
    static_assert(decltype(test_call(probe<some_type&>{}, other_type{}))::value, "");
}

它可以在gcc和clang下工作,但不能在Visual Studio上编译,因为存在不明确的分辨率错误。哪个编译器错误,为什么?

GCC and Clang ,请 Visual studio

以下是MSVC输出:

source_file.cpp(31): error C2668: 'test_call': ambiguous call to overloaded function
source_file.cpp(28): note: could be 'std::true_type test_call(some_type &,other_type)'
source_file.cpp(27): note: or       'std::false_type test_call(const some_type &,other_type)'
source_file.cpp(31): note: while trying to match the argument list '(probe<some_type &>, other_type)'
source_file.cpp(31): error C2651: 'unknown-type': left of '::' must be a class, struct or union
source_file.cpp(31): error C2062: type 'unknown-type' unexpected

1 回复 | 直到 7 年前

xskxzr 7 年前

代码可以简化为 the following

#include <type_traits>

struct some_type {};

struct probe {
    template<typename T, std::enable_if_t<!std::is_const<T>::value, int> = 0>
    operator T& () const;
};

auto test_call(some_type const&) -> std::false_type;
auto test_call(some_type&) -> std::true_type;

int main() {
    static_assert(decltype(test_call(probe{}))::value, "");
}

5 6

一般来说,推导过程试图找到模板参数值,使推导出的值与a相同。但是,有四种情况允许差异:

……

T some_type 对于两个函数调用。然后根据[超过.ics.等级]。/ 3.3

probe -> some_type& -> some_type& probe -> some_type& -> const some_type& 所以没有歧义,GCC和Clang是对的。

顺便说一句,如果我们移除 std::enable_if_t<...> test_all

#include <type_traits>

struct some_type {};

struct probe {
    template<typename T>
    operator T& () const
    {
        static_assert(std::is_const_v<T>);
        static T t;
        return t;
    }
};

auto test_call(some_type const&) -> std::false_type;

int main() {
    test_call(probe{});
}

static_assert only under Clang .也就是说,Clang推断 一些类型 const some_type

推荐文章

sungjun cho · 函数模板重叠多个匹配项

6 月前

Kaiyakha · 模板模板部分专业化

6 月前

Amaterastis · 基类接受子类和内部子类的模板参数

6 月前

111111 · 确定作为模板参数传递的函数的参数类型

6 月前

timmy george · 当类具有非constexpr std::array时,如何将std::array.size()用作模板参数

6 月前

Sam · 在LaTeX中将图像添加到预制的投影仪中

6 月前

xmllmx · 在C++20中,是否有一种优雅的方式在编译时对类型进行排序?

6 月前

Giogre · C++:类成员函数的模板特化,与另一个成员函数的不同之处仅在于通过引用而不是值接受参数

7 月前

user416983 · 模板函数成员作为模板参数

7 月前

PyOPTProblem · c++如何模板化模板参数的部分实例化?

7 月前