оператор / из std :: chrono :: duration и пользовательский тип с Clang - PullRequest
Новая
       14

оператор / из std :: chrono :: duration и пользовательский тип с Clang

8 голосов
/ 14 марта 2019

Рассмотрим пользовательский тип, который предназначен для умножения и деления конкретного экземпляра длительности: 

#include <chrono>
#include <iostream>

class Foo {};

using Duration = std::chrono::seconds;

inline Duration operator*(Duration d, Foo) {
    std::cout << "multiplying some time with Foo\n";
    return d;
}

inline Duration operator/(Duration d, Foo) {
    std::cout << "dividing some time by Foo\n";
    return d;
}

int main() {
    Duration d;
    Foo f;
    d * f;
    d / f;
}

Этот код компилируется без предупреждений с помощью gcc, но завершается неудачно с помощью clang ( wandbox ) 

In file included from prog.cc:1:
/opt/wandbox/clang-7.0.0/include/c++/v1/chrono:1259:81: error: no type named 'type' in 'std::__1::common_type<long long, Foo>'
                          typename common_type<typename _Duration::rep, _Rep2>::type>::value>
                          ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~~~
/opt/wandbox/clang-7.0.0/include/c++/v1/chrono:1272:7: note: in instantiation of default argument for '__duration_divide_imp<std::__1::chrono::duration<long long, std::__1::ratio<1, 1> >, Foo>' required here
    : __duration_divide_imp<duration<_Rep1, _Period>, _Rep2>
      ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
/opt/wandbox/clang-7.0.0/include/c++/v1/chrono:1279:10: note: in instantiation of template class 'std::__1::chrono::__duration_divide_result<std::__1::chrono::duration<long long, std::__1::ratio<1, 1> >, Foo, false>' requested here
typename __duration_divide_result<duration<_Rep1, _Period>, _Rep2>::type
         ^
prog.cc:22:7: note: while substituting deduced template arguments into function template 'operator/' [with _Rep1 = long long, _Period = std::__1::ratio<1, 1>, _Rep2 = Foo]
    d / f;

Обратите внимание, что operator* отлично работает с обоими компиляторами.

Фактический код немного более запутанный, с использованием метода друга, определенного в типе области действия класса, который выполняет целочисленную операцию с защитой от переполнения в течение продолжительности, но показывает точно такие же симптомы.

Проблема выглядит следующим образом: Определяемый пользователем перегруженный оператор * с std :: chrono :: duration , но это другой оператор и компилятор.

1 Ответ

9 голосов
/ 17 марта 2019

Для меня это выглядит как ошибка libc ++ (и ошибка, которую я написал). Вот очень проверенное исправление: 

--- a/include/chrono
+++ b/include/chrono
@@ -1289,7 +1289,12 @@ struct __duration_divide_result<duration<_Rep1, _Period>, _Rep2, false>
 template <class _Rep1, class _Period, class _Rep2>
 inline _LIBCPP_INLINE_VISIBILITY
 _LIBCPP_CONSTEXPR
-typename __duration_divide_result<duration<_Rep1, _Period>, _Rep2>::type
+typename enable_if
+<
+    !__is_duration<_Rep2>::value &&
+    is_convertible<_Rep2, typename common_type<_Rep1, _Rep2>::type>::value,
+    duration<typename common_type<_Rep1, _Rep2>::type, _Period>
+>::type
 operator/(const duration<_Rep1, _Period>& __d, const _Rep2& __s)
 {
     typedef typename common_type<_Rep1, _Rep2>::type _Cr;
...