gnu / gcc / 2c564e813c0626802e5bfb066c094933d5e6a774 / . / libstdc++-v3 / testsuite / 20_util / duration / cons / dr1177.cc

// Copyright (C) 2017-2021 Free Software Foundation, Inc. | |

// | |

// This file is part of the GNU ISO C++ Library. This library is free | |

// software; you can redistribute it and/or modify it under the | |

// terms of the GNU General Public License as published by the | |

// Free Software Foundation; either version 3, or (at your option) | |

// any later version. | |

// This library is distributed in the hope that it will be useful, | |

// but WITHOUT ANY WARRANTY; without even the implied warranty of | |

// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |

// GNU General Public License for more details. | |

// You should have received a copy of the GNU General Public License along | |

// with this library; see the file COPYING3. If not see | |

// <http://www.gnu.org/licenses/>. | |

// { dg-do compile { target c++11 } } | |

#include <chrono> | |

#include <type_traits> | |

using namespace std; | |

using namespace std::chrono; | |

// DR 1177 | |

static_assert(is_constructible<duration<float>, duration<double>>{}, | |

"can convert duration with one floating point rep to another"); | |

static_assert(is_constructible<duration<float>, duration<int>>{}, | |

"can convert duration with integral rep to one with floating point rep"); | |

static_assert(!is_constructible<duration<int>, duration<float>>{}, | |

"cannot convert duration with floating point rep to one with integral rep"); | |

static_assert(is_constructible<duration<int>, duration<long>>{}, | |

"can convert duration with one integral rep to another"); | |

static_assert(!is_constructible<duration<int>, duration<int, ratio<2,3>>>{}, | |

"cannot convert duration to one with different period"); | |

static_assert(is_constructible<duration<float>, duration<int, ratio<2,3>>>{}, | |

"... unless the result type has a floating-point representation"); | |

static_assert(is_constructible<duration<int, ratio<1,3>>, duration<int>>{}, | |

"... or the original's period is a multiple of the result's period"); |