具有boost :: hana的SFINAE模板構造函數

Question

給定以下代碼，使用Boost hana表達相同功能的適當方式是什麼？

#include <type_traits> 

#include <boost/hana/type.hpp> 
#include <boost/hana/core/when.hpp> 
namespace hana = boost::hana; 

struct S { 
    template< 
     typename T, 
     typename = typename std::enable_if_t< (T::value) > > // <-- equivalent? 
    S (const T&) { } 
}; 

struct X { static constexpr int value = 0; }; 
struct Y { static constexpr int value = 1; }; 

int main() { 
    S a (X { }); // <-- must fail 
    S b (Y { }); 
    return 0; 
} 

爲when的文檔提到它作爲enable_if的替代品，但我不知道如何在這種情況下應用它。那麼，如何有選擇地啓用Boost hana的模板構造函數呢？

Answer 1

正如@Barry在評論中所說的，hana::when對於部分專業化非常有用，並且它不能用於您的案例。 Hana沒有提供比你已經擁有的咒語更簡潔的咒語（這是公平的，因爲它是一個班輪）。另請注意，您可以從std::enable_if_t中刪除額外的typename關鍵字。