Почему целое число продвигается через явный конструктор?

Question

This code

#include <cstdint> 

constexpr uint32_t ticksPerSecond = 100000; 

struct timemeasure { 
    constexpr explicit timemeasure(uint64_t c) : ticks(c) { } 
    uint64_t ticks; 
    constexpr timemeasure() : ticks(0) { } 
}; 

struct time : timemeasure { 
    static volatile time now; 

    constexpr time() : timemeasure() { } 
    explicit time(uint64_t c) : timemeasure(c) { } 

    // Needed for `x = time::now` 
    explicit time(const volatile time &t) : timemeasure(t.ticks) { } 
    time& operator=(volatile time t) { ticks = t.ticks; return *this; } 
}; 

inline time foo(const time& t) { return time(t.ticks + 1); } 

дает ошибку компиляции:

prog.cpp: In function ‘time foo(const time&)’: 
prog.cpp:22:57: error: no matching function for call to ‘time::time(time)’ 
prog.cpp:22:57: note: candidate is: 
prog.cpp:14:15: note: constexpr time::time() 
prog.cpp:14:15: note: candidate expects 0 arguments, 1 provided 

Почему time::time(time) пытается назвать? Неужели uint64_t не может быть повышена?

Answer 1

Копия конструктор time отмечен как explicit, и при возврате значения из функции, является временным копия инициализируется от этого значения. Пункт 8.5/15 из C++ 11 Стандарта устанавливает:

The initialization that occurs in the form

T x = a; 

as well as in argument passing, function return, throwing an exception (15.1), handling an exception (15.3), and aggregate member initialization (8.5.1) is called copy-initialization. [...]

Однако конструкторы помечены как explicit не рассматривается в контексте копировальной инициализации (см 13.3.1.4/1 и 13.3.1.5/1), следовательно, ошибка.

Answer 2

Вы не можете вернуть time по значению из foo так time не имеет доступный конструктор копирования: конструктор из volatile const time& не совпадает. Выбросьте a:

time(const time&) = default;