c++ - ブーストカルマ: transform_attribute へのこの暗黙の呼び出しはどのように機能しますか? （またはしませんか？）

Question

私は正常に動作するように見える次のコードを持っています ( boost karma を使用して解析された変数を再利用するセマンティックアクションに基づいています)。

#include <iostream>
#include <iterator>
#include <memory>
#include <string>
#include <vector>

#include <boost/fusion/include/adapt_struct.hpp>
#include <boost/fusion/include/sequence.hpp>
#include <boost/spirit/include/karma.hpp>
#include <boost/spirit/include/phoenix_core.hpp>
#include <boost/spirit/include/phoenix_operator.hpp>
#include <boost/spirit/include/phoenix_fusion.hpp>
#include <boost/spirit/include/phoenix_bind.hpp>
#include <boost/spirit/include/support_attributes.hpp>
#include <boost/spirit/include/support_adapt_adt_attributes.hpp>

using namespace boost::spirit;

struct DataElement
{
  DataElement(const std::string& s) : str_(s) {}

  const std::string& str() const { return str_; }
  std::string& str() { return str_; }
  std::string str_;
};
using Data = std::vector<std::shared_ptr<const DataElement>>;

namespace boost {
  namespace spirit {
    namespace traits {

      template<>
      struct transform_attribute<std::shared_ptr<const DataElement> const, const DataElement&, karma::domain>
      {
        using type = const DataElement&;
        static type pre(const std::shared_ptr<const DataElement>& val) { return *val; }
      };

    }
  }
}

BOOST_FUSION_ADAPT_ADT(
  DataElement,
  (std::string&, const std::string&, obj.str(), obj.str())
  );

template<typename Iterator>
struct TheGrammar: public karma::grammar<Iterator, Data()>
{
  TheGrammar(): karma::grammar<Iterator, Data()>(start)
  {
    start %= -(elt % karma::eol);
    elt %=
      karma::lit("'some prefix'")
      << karma::string [karma::_1 = boost::phoenix::at_c<0>(karma::_val)]
      << karma::lit("'some infix 1'")
      << karma::string [karma::_1 = boost::phoenix::at_c<0>(karma::_val)]
      << karma::lit("'some infix 2'")
      << karma::string [karma::_1 = boost::phoenix::at_c<0>(karma::_val)]
      << karma::lit("'some suffix'")
      ;
  }

  karma::rule<Iterator, Data()> start;
  karma::rule<Iterator, const DataElement&()> elt;
};

int main(void)
{
  Data vec = {
    std::make_shared<DataElement>("one"),
    std::make_shared<DataElement>("two"),
    std::make_shared<DataElement>("three"),
    std::make_shared<DataElement>("four"),
    std::make_shared<DataElement>("five"),
    std::make_shared<DataElement>("six"),
    std::make_shared<DataElement>("seven"),
    std::make_shared<DataElement>("eight"),
  };
  using iterator_type = std::ostream_iterator<char>;
  iterator_type out(std::cout);

  TheGrammar<iterator_type> grammar;
  return karma::generate(out, grammar, vec);
}

いくつかのことを理解したいと思います：

1. karma::attr_castどこでも使用する必要がないのはなぜですか? 私のstartルールはのベクトルですstd::shared_ptrが、eltルールは実際のオブジェクト const 参照で機能します。私は最初に試してみattr_castましたが、どこにも行きませんでした.
2. transform_attributeカスタムを完全にコメントアウトしてもコンパイルされるのはなぜですか? デフォルトstd::shared_ptr<T>-> T&transform_attribute は提供されていますか? あまり見つけられませんでしたが、適切な場所を探していないのでしょうか？
3. transform_attribute上記のようにcustom をコメントアウトすると、コードはコンパイルされたままになりますが、実行時にメモリが破損していることは明らかです。karma::stringゴミを生成します。ある意味では、カルマに私shared_ptrからオブジェクトに到達する方法さえ教えていないので、何か面白いことが起こっているに違いないことを理解できます。実際のエラー/バグをコンパイルするという事実ですか?

お時間をいただき、ありがとうございました。