если constexpr (условие) как условное время компиляции

Я хочу использовать constexpr bool (useF в приведенном ниже примере), чтобы включить функцию в следующем коде. Здесь зовет A::f(), Дополнительно хочу быть алиас-шаблоном (a) быть void в случае, если я отключаю эту функцию.

Я попытался использовать оператор constexpr if, но тело все еще создается, что приводит к ошибке компиляции. Если я использую шаблон оболочки (X), тело выбрасывают, как я и ожидал, но мне это кажется уродливым. Есть ли другие способы сделать это?

constexpr bool useF = false;

struct A {
static void f() {}
};

using a = std::conditional<useF, A, void>::type;

template<typename L>
struct X {
static void h() {
if constexpr(std::is_same<L, A>::value) {
L::f(); // not instantiated, no error
}
}
};

int main() {
if constexpr(useF) {
a::f(); // error!?
}

X<a>::h();
}

Я использую g ++ — 7.0.1 с -std = c ++ 17