Фрагмент кода:
#include <functional>
#include <iostream>
class OnExit
{
public:
explicit OnExit(const std::function<void()>& f):f_(f){}
~OnExit(){f_();}
private:
std::function<void()> f_;
};
void finish(const bool& details)
{
std::cout << "foo finished with " << std::boolalpha << details << std::endl;
}
int foo(int i)
{
bool details = false;
OnExit action{std::bind(&finish, std::cref(details))};
if (i < 0)
{
throw 0;
}
if (i < 10)
{
return i;
}
int result = i*6;
details = true;
if (i < 100)
{
return result + 5;
}
details = false;
return result*result;
}
int main()
{
std::cout << foo(5) << std::endl;
std::cout << foo(20) << std::endl;
try
{
std::cout << foo(-1) << std::endl;
}
catch (...)
{
std::cout << "exception" << std::endl;
}
std::cout << foo(120) << std::endl;
}
Таким образом, функция finish () вызывается каждый раз, когда программа покидает область действия foo (). Значение переменной ‘details’ читается и печатается.
Но … лягушачий вывод:
2 warnings generated.
<<path>>/neverused.cpp:33:5: warning: Value stored to 'details' is never read [clang-analyzer-deadcode.DeadStores]
details = true;
^
<<path>>/neverused.cpp:33:5: note: Value stored to 'details' is never read
details = true;
^
<<path>>/neverused.cpp:40:5: warning: Value stored to 'details' is never read [clang-analyzer-deadcode.DeadStores]
details = false;
^
<<path>>/neverused.cpp:40:5: note: Value stored to 'details' is never read
details = false;
^
После изменения std :: bind на lambda предупреждений нет.
Мой вопрос: в чем заключается магия bind и / или reference_wrapper и почему clang-tidy этого не понимает?
Задача ещё не решена.
Других решений пока нет …