msvc140で一般的なラムダ

Question

このコードに問題はありますか？ Visual Studioの2015（msvc140）で

#include <iostream> 
#include <string> 
#include <type_traits> 

bool condition_func(int x) 
{ 
    return x > 0; 
} 

std::string true_branch_func(int x) 
{ 
    return "true_branch_func(int x), x = " + std::to_string(x); 
} 

std::string false_branch_func(int x) 
{ 
    return "false_branch_func(int x), x = " + std::to_string(x); 
} 

// template<typename C, typename T, typename F> 
auto make_cond_functor(auto && cond, auto && true_f, auto && false_f) 
{ 
    return [&](auto &&... args) 
    { 
    return cond(args...) ? true_f(args...) : false_f(args...); 
    }; 
} 

int main() 
{ 
    std::cout << make_cond_functor(condition_func, true_branch_func, false_branch_func)(-3) << std::endl; 
    return 0; 
} 

私は問題を抱えている：

エラーC3533：「make_cond_functor :: make_cond_functor：パラメータが '自動'

エラーC2664を含む型を持つことができません（& &をint型、& &をint型、& &をint型） '：引数から1を変換することはできません 'int型&' から' ブール値（__cdecl *）（int型）"

ノート：理由：から変換できません『int型

ノート』から「オーバーロードされた機能：この変換が可能な何のコンテキストがありません

しかし、G ++ - 6.2がこれをコンパイルコードは完全にうまくいく。 make_cond_functorは、C++で許可された汎用ラムダを返します。だから、このコードは正しいはずですね。そして、コードではなく、msvc140に問題があります。 cppreferenceで

ジェネリックラムダ：enter link description here

Answer 1

MSVCは、この場合は（驚く）の故障ではありません。 問題は、この関数の署名が無効である機能make_cond_functor

auto make_cond_functor(auto && cond, auto && true_f, auto && false_f) 
//     /\   /\    /\ 
//     NOT  VALID  C++  SYNTAX 

です。現在のC++では、関数の引数にautoを使用できる唯一のケースは汎用ラムダです。これは、GCC 4.9.0で導入されたGCC拡張機能のようです。