SFINAE先はstdインスタンス化タイプを制限するために::クロノ::持続タイプ

Question

を私は

template <typename T> 
class TemporalAlarmDelay<T, std::enable_if<std::is_base_of<std::chrono::duration< , >, T>::value, T>::type> 
{ 
public: 
    explicit TemporalAlarmDelay(T delay) 
     : mDelay(delay) 
    { 

    } 

private: 
    T mDelay; 
    std::chrono::steady_clock::time_point mTriggerTime; 
}; 


int main(int argc, char** args) 
{ 
    TemporalAlarmDelay<std::chrono::nanoseconds> nanosecondDelay; // this should work 
    TemporalAlarmDelay<std::chrono::milliseconds> millisecondDelay; // this should work 
    TemporalAlarmDelay<std::chrono::seconds> secondDelay;   // this should work 
    TemporalAlarmDelay<int> failDelay;        // fail to instantiate 
} 

意図はstd::chrono::durationの種類に制限することがある（例えばはstd::chrono::milliseconds、std::chrono::seconds）のような何かをしたいです。これについて最善の方法は何ですか？私の例では、std::is_base_ofを使用できると考えていましたが、ヘルパータイプ（例えばstd::chrono::milliseconds、std::chrono::secondsなど）は継承を使用しないことを認識しました。

Answer 1

そして、あなたの問題に非常に最も簡単な解決策のための...

#include <chrono> 

class TemporalAlarmDelay 
{ 
public: 
    explicit TemporalAlarmDelay(std::chrono::steady_clock::duration delay) 
     : mDelay(delay) 
    { 

    } 

private: 
    std::chrono::steady_clock::duration mDelay; 
    std::chrono::steady_clock::time_point mTriggerTime; 
}; 


int main() 
{ 
    using namespace std::chrono_literals; 
    TemporalAlarmDelay nanosecondDelay{1ns}; // this works 
    TemporalAlarmDelay millisecondDelay{1ms}; // this works 
    TemporalAlarmDelay secondDelay{1s};  // this works 
    TemporalAlarmDelay failDelay{1};   // compile-time error 
} 

Answer 2

あなたはテンプレートの特殊使用することができます。代わりに、上記の最初の4行の

template <typename> class TemporalAlarmDelay; 

：Jarod42 @

template <typename T> 
class TemporalAlarmDelay 
{ 
    ~TemporalAlarmDelay() = delete; // prevent instantiation 
}; 

template <typename R, typename P> 
class TemporalAlarmDelay<std::chrono::duration<R, P>> 
{ 
    // your code 
}; 

はあなたがさえて逃げることを示唆しています。

Answer 3

あなたが作成することができます特徴：

template <typename T> struct is_chrono_duration : std::false_type {}; 

template <typename R, typename P> 
struct is_chrono_duration<std::chrono::duration<R, P>> : std::true_type {}; 

、その後：ベースJarod42のis_chrono_duration（も...正直に言うと、それをコピーする）、可能SFINAEからインスピレーションを取っ

template <typename T> 
class TemporalAlarmDelay 
{ 
    static_assert(is_chrono_duration<T>::value, "!"); 
    // your code 
}; 

Answer 4

（既定のブール値を超えて）ソリューション

template <typename T, bool = is_chrono_duration<T>::value> 
class TmpAlrD; 

template <typename T> 
class TmpAlrD<T, true> 
{ 
    // ... 
}; 

以下は完全なコンパイル用のexamplです電子

#include <chrono> 
#include <type_traits> 

template <typename> 
struct is_chrono_duration : std::false_type 
{ }; 

template <typename R, typename P> 
struct is_chrono_duration<std::chrono::duration<R, P>> : std::true_type 
{ }; 

template <typename T, bool = is_chrono_duration<T>::value> 
class TmpAlrD; 

template <typename T> 
class TmpAlrD<T, true> 
{ 
    public: 
     explicit TmpAlrD(T delay = T{}) : mDelay(delay) 
     { } 

    private: 
     T mDelay; 

     std::chrono::steady_clock::time_point mTriggerTime; 
}; 

int main() 
{ 
    TmpAlrD<std::chrono::nanoseconds> nsDelay; // compile 
    TmpAlrD<std::chrono::milliseconds> msDelay; // compile 
    TmpAlrD<std::chrono::seconds>  sDelay; // compile 
    //TemporalAlarmDelay<int>     // compilation error  
}